1. Behnke R.: Extending relational specifications by sequential algebras — Prototyping with RELVIEW. In: Berghammer R., Simon F. (eds.): Programming languages and fundamentals of programming. Report 9717, Institut für Informatik und Praktische Mathematik, UniversitÄt Kiel, 12–22 (1997)
2. Brink C., Kahl W., Schmidt G. (eds.): Relational methods in Computer Science. Advances in Computing Science, Springer (1997)
3. Berghammer R., von Karger B., Ulke C.: Relation-algebraic analysis of Petri nets with RELVIEW. In: Margaria T., Steffen B. (eds.): Proc. TACAS '96, LNCS 1055, Springer, 49–69 (1996)
4. Behnke R., Berghammer R., Schneider P.: Machine support of relational computations. The Kiel RELVIEW system. Report 9711, Institut für Informatik und Praktische Mathematik, UniversitÄt Kiel (1997)
5. Berghammer R., Schmidt G.: RELVIEW — A computer system for the manipulation of relations. In: Nivat M., et al. (eds.): Proc. AMAST '93, Workshops in Computing, Springer, 405–406 (1993)