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

(1986). Mathematical methods of specification and synthesis of software systems '85: Proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985 / edited by W. Bibel and K.P. Jantke.

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

Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985 / Edited by W. Bibel and K.P. Jantke. 1986.

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

Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985 / Edited by W. Bibel and K.P. Jantke. 1986.