Mathematical methods of specification and synthesis of software systems '85 Proccedings. Wendisch-Rietz, GDR, April 22-26, 1985 - Bibel, W. 1938-; Jantke, K. P. (Springer-Verlag, 1986)
περιέχει βιβλιογραφικές αναφορές