Methods of programming : selected papers on the CIP-project - Broy, M., 1949-; Wirsing, M. (Martin) (Lecture notes in computer science ;, 1991)