Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International spring school ; Wendisch-Rietz, GDR, 22. - 26. 4. 1985 - Bergstra, J. A., 1951- (Akademie, 1986)