Proceedings on mathematical methods of specification and synthesis of software system'85 - Bibel W Ed.; Inter. spring sch. on mathematical methods of specification and synthesis of software system (1985 : Wendisch-Rietz); Jantke K P Ed. (Berlin Springer-Verlag, 1986)
Keywords: Computer programming