Program design calculi - Broy, M., 1949- (Springer, 1993)
"Proceedings of the NATO Advanced Study Institute on Program Design Calculi, held in Marktoberdorf, Germany, July 28-August 9, 1992"–T.p. verso