Programming and mathematical method - Broy, M., 1949- (Springer-Verlag, 1992)
"Proceedings of the NATO Advanced Study Institute on Programming and Mathematical Method, held at Marktoberdorf, FRG, July 24-August 5, 1990"–T.p. verso