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

Bibel, W., & Jantke, K. P. (1986). Mathematical methods of specification and synthesis of software systems '85: Proccedings. Wendisch-Rietz, GDR, April 22-26, 1985. Springer-Verlag.

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

Bibel, W., και K. P. Jantke. Mathematical Methods of Specification and Synthesis of Software Systems '85: Proccedings. Wendisch-Rietz, GDR, April 22-26, 1985. Berlin: Springer-Verlag, 1986.

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

Bibel, W., και K. P. Jantke. Mathematical Methods of Specification and Synthesis of Software Systems '85: Proccedings. Wendisch-Rietz, GDR, April 22-26, 1985. Springer-Verlag, 1986.