1. Berghammer R., Zierer H.: Relational algebraic semantics of deterministic and nondeterministic programs. Theoret. Comput. Sci. 43, 123–147 (1986)
2. Berghammer R., Gritzner T., Schmidt G.: Prototyping relational specifications using higher-order objects. In: Heering, J., Meinke, K., Möller, B., Nipkow, T. (eds.): Proc. Int. Workshop on Higher Order Algebra, Logic and Term Rewriting (HOA 93), Amsterdam, The Netherlands, Sept. 1993, LNCS 816, Springer, 56–75 (1994)
3. Berghammer R., von Karger B.: Algorithms from relational specification. In: Brink C., Schmidt G., Albrecht R. (eds.): Relational methods in Computer Science, Supplement volume of Computing (to appear 1996)
4. Berghammer R., Schmidt G.: RELVIEW — A computer system for the manipulation of relations. In: Nivat M., Rattray C., Rus T., Scollo G. (eds.): Proc. 3rd Conf. on Algebraic Methodology and Software Technology (AMAST 93), University of Twente, The Netherlands, June 1993, Workshops in Computing, Springer, 405–406 (1993)
5. Dijkstra E.W.: Hierarchical ordering of sequential processes. Acta Informatica 1, 115–138 (1971)