1. Berghammer, R.: Relational Specification of Data Types and Programs. Technical report 9109, Fakultät für Informatik, Universität der Bundeswehr München, Germany, Sept. (1991)
2. Berghammer, R., Schmidt, G.: Relational specifications. In: Rauszer, C. (ed.) Proc. XXXVIII Stefan Banach Seminar on Algebraic Methods in Logic and Their Computer Science Applications, Vol. 28, pp. 167–190. Banach Center Publications, Institute of Mathematics, Polish Academy of Sciences, Warsaw (1993)
3. Berghammer, R., Zierer, H.: Relational algebraic semantics of deterministic and nondeterministic programs. Theor. Comput. Sci. 43, 123–147 (1986)
4. Desharnais, J., Tchier, F.: Demonic relational semantics of sequential programs. Rapport de recherche DIUL-RR-9406, Departement d’Informatique, Universite Laval, Quebec, Canada, decembre (1995)
5. Desharnais, J., Belkhiter, N., Ben Mohamed Sghaier, S., Tchier, F., Jaoua, A., Mili, A., Zaguia, N.: Embedding a demonic semilattice in a relation algebra. Theor. Comput. Sci. 149(2):333–360 (1995)