1. F.L. Bauer, H. Wössner: Algorithmic language and program development. Springer, Berlin, 1982.
2. F.L. Bauer, R. Berghammer, M. Broy, W. Dosch, F. Geiselbrechtinger, R. Gnatz, E. Hangel, W. Hesse, B. Krieg-Bruckner, A. Laut, T. Matzner, B. Miller, E Nickl, H. Partsch, P. Pepper, K. Samelson, M. Wirsing, H. Wössner: The Munich Project CIP, Vol. 1: The Wide Spectrum language CIP-L. Lecture Notes in Computer Science 183, Berlin, Springer, 1985.
3. J.A. Bergstra, J. Heering, P. Klint: Module algebra. J. ACM 37, 1990, 335–372.
4. M. Broy, P. Pepper, M. Wirsing: On relations between programs. In: B.Robinet (ed.): Proc. of the 4th International Symposium on Programming, Paris, Lecture Notes in Computer Science 83. Berlin, Springer, 1980, 59–78.
5. M. Broy, A. Tarlecki: Algebraic specification of the abstract data type “CONTINUUM”. EATCS Bulletin 26, June 1985, 32–35.