TY  - BOOK
TI  - Mathematical methods of specification and synthesis of sotware systems '85,Proceedings of the International spring school Wendisch-Rietz, GDR, April 1985
CY  - Berlin
ER  -