-Mathematical Methods of Specification and Synthesis of Software Systems '85. Proceedings, Springer-Verlag 1985. Edited by W. Bibel and K. P. Jantke. 245 pages, 1986