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

Partsch, H. A. (1990). Specification and transformation of programs: A formal approach to software development. Springer-Verlag.

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

Partsch, Helmut A. Specification and Transformation of Programs: A Formal Approach to Software Development. Berlin ; New York: Springer-Verlag, 1990.

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

Partsch, Helmut A. Specification and Transformation of Programs: A Formal Approach to Software Development. Springer-Verlag, 1990.