1. R. Berghammer, B. Möller (Eds.), Participants Proc. of the Internat. Workshop RelMiCS ’7 Relational Methods in Computer Science and 2nd Internat. Workshop on Applications of Kleene Algebra (in combination with a workshop of the Cost Action 274: Tarski, Malente, May 12–17, 2003), 2003, pp. 298.
2. Algebra of Programming;Bird,1996
3. O. de Moor, Categories, Relations and Dynamic Programming, Ph.D. thesis, Oxford University, 1992.
4. W. Kahl, G. Schmidt, Exploring (Finite) Relation Algebras With Tools Written in Haskell, Tech. Rep. 2000/02, Fakultät für Informatik, Universität der Bundeswehr München, 2000. Available from: .