1. R.C. Backhouse, P. de Bruin, G. Malcolm, T.S. Voermans, J. van der Woude: Relational catamorphisms. In: B. Möller (ed.): Constructing programs from specifications. Proc. IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, 13–16 May 1991. Amsterdam: North-Holland 1991, 287–318
2. F.L. Bauer, B. Möller, H. Partsch, P. Pepper: Formal program construction by-transformations — Computer-aided, Intuition-guided Programming. IEEE Transactions on Software Engineering 15, 165–180 (1989)
3. F.L. Bauer, R. Berghammer, M. Broy, W. Dosch, F. Geiselbrechtinger, R. Gnatz, E. Hangel, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner, B. Möller, F. Nicki, H. Partsch, P. Pepper, K. Samelson, M. Wirsing, H. Wössner: The Munich project CIP. Volume I: The wide spectrum language CIP-L. Lecture Notes in Computer Science 183. Berlin: Springer 1985
4. R. Berghammer, H. Ehler, B. Möller: On the refinement of nondeterministic recursive routines by transformation. In: M. Broy, C.B. Jones (eds.): Programming concepts and methods. Amsterdam: North-Holland 1990, 53–71
5. R.S. Bird, O. de Moor: The algebra of programming. Prentice-Hall (to appear)