Matzner, T. books & textbook
Report on a Wide Spectrum Language for Program Specification and Development (TUM, TUM-18104)
CIP Language Group F. L. Bauer M. Broy W. Dosch R. Gnatz B. Moller H. Partsch B. Kreig-Bruckner A. Laut T. Matzner
Technische Universität München /1981T Paperback / 236 Pages
The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L (Lecture Notes in Computer Science, 183)
Bauer, F.L. Berghammer, R. Broy, M. Dosch, W. Geiselbrechtinger, F. Gnatz, R. Hangel, E. Hesse, W. Krieg-Brückner, B. Laut, A. Matzner, T. Möller, B. Nickl, F. Partsch, H. Pepper, P. Samelson, K. Wirsing, M. Wössner, H.
Springer /1985-02-01 Paperback / 287 Pages
isbn-10: 3540151877 / isbn-13: 9783540151876
