1. Behnke R. (1997): Extending relational specifications by sequential algebras–Prototyping with RELVIEw. In: Proc. of a Colloquium on Programming languages and fundamentals of programming, Avendorf, Germany, Report 9717, Institut für Informatik und Praktische Mathematik, Universität Kiel, pp. 12–22
2. Behnke R. (1998): Transformationelle Programmentwicklung im Rahmen relationaler und sequentieller Algebren. Dissertation, Institut für Informatik und Praktische Mathematik, Universität Kiel
3. Behnke R., Berghammer R., Schneider P. (1997): Machine support of relational computations - The Kiel RELVIEw system. Report 9711, Institut für Informatik und Praktische Mathematik, Universität Kiel
4. Berghammer R. (1992): Computing the cut completion of a partially ordered set - An example for the use of the RELVIEw-system. Report 9205, Fakultät für Informatik, Universität der Bundeswehr München
5. Berghammer R., Gritzner T., Schmidt G. (1994): Prototyping relational specifications using higher-order objects. In: Proc. of HOA ‘83, Amsterdam, The Netherlands, Springer, Berlin, pp. 56–75 (Lecture notes in computer science, vol. 816)