1. Barbut, M., Monjardet, B.: Ordre et classification: Algébre et combinatoire. Hachette (1970)
2. Behnke, R., Berghammer, R., Schneider, P.: Machine support of relational computations. The Kiel RelView system. Bericht Nr. 9711, Institut für Informatik und Praktische Mathematik, Universität Kiel (1997)
3. Lecture Notes in Computer Science;R. Behnke,1998
4. Brink, C., Kahl, W., Schmidt, G.: Relational Methods in Computer Science, Advances in Computing Science. Springer, Heidelberg (1997)
5. Freyd, P., Scedrov, A.: Categories, Allegories. North-Holland, Amsterdam (1990)