Παραπομπή σε μορφή APA (7η εκδ.)

Anderson, S., & Tourlas, K. (1998). Design for Proof: An Approach to the Design of Domain-Specific Languages. Formal Aspects of Computing: Applicable Formal Methods, 10(5-6), 452. https://doi.org/10.1007/s001650050027

Παραπομπή σε μορφή Chicago (17η εκδ.)

Anderson, Stuart, και Konstantinos Tourlas. "Design for Proof: An Approach to the Design of Domain-Specific Languages." Formal Aspects of Computing: Applicable Formal Methods 10, no. 5-6 (1998): 452. https://doi.org/10.1007/s001650050027.

Παραπομπή σε μορφή MLA (9th εκδ.)

Anderson, Stuart, και Konstantinos Tourlas. "Design for Proof: An Approach to the Design of Domain-Specific Languages." Formal Aspects of Computing: Applicable Formal Methods, vol. 10, no. 5-6, 1998, p. 452, https://doi.org/10.1007/s001650050027.