Constructive methods in computing science / international summer school directed by F.L. Bauer ... [et al.] - Broy, M., 1949- (Springer-Verlag, 1989)
"Proceedings of the NATO Advanced Study Institute on Constructive Methods in Computing Science held at Marktoberdorf, Federal Republic of Germany, July 24-August 5, 1988"–T.p verso