1. Freyd, P., Scedrov, A.: Categories, Allegories. North-Holland Mathematical Library, vol. 39, North-Holland, Amsterdam (1990)
2. Kawahara, Y., Furusawa, H.: Crispness and Representation Theorems in Dedekind Categories. DOI-TR 143, Kyushu University (1997)
3. Schmidt, G., Ströhlein, T.: Relations and graphs. Discrete mathematics for computer scientists. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1993). https://doi.org/10.1007/978-3-642-77968-8
4. Schmidt G.: Relational Mathematics. Encyplopedia of Mathematics and Its Applications, vol. 132. Cambridge University Press, Cambridge (2011)
5. Winter M.: Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdetermismus in Programmiersprachen. Dissertationsverlag NG Kopierladen GmbH, München (1998)