the CIP Language Group) Report on a wide spectrum language for program specification and development (1981)

by F L Bauer, M Broy, W Dosch, R Gnatz, F Geiselbrechtinger, W Hesse, B Krieg-Briickner, A Laut, T Matzner, B M511er, H Partsch, P Pepper, K Samelson, M Wirsing, WSssner