Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985

Wolfgang Bibel Klaus P. Jantke Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985 Mathematical Methods of Specification and Synthesis of Software Systems Lecture Notes in Computer Science 215 Springer 1986 3-540-16444-8 db/conf/aii/aii1985.html