APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

International Spring School, K. P. Jantke, and W. Bibel. Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985. Berlin ; New York: Springer-Verlag, 1986.

MLA (9th ed.) Citation

International Spring School, et al. Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985. Springer-Verlag, 1986.