Mathematical methods of specification and synthesis of sotware systems '85,Proceedings of the International spring school Wendisch-Rietz, GDR, April 1985
- Berlin Springer-Verlag
- Lecture notes in computer science ; 00215 .
681 LNCS
681 LNCS