APA (7th ed.) Citation

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 Style (17th ed.) Citation

Bibel, W., and 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 ed.) Citation

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