M. Broy and W. Wirsing (Eds.), Methods of Programming: Selected Papers on the CIP-Project, LNCS544, 1991 (informationswissenschaftl. Veröffentlichungen)