1. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories: The Joy of Cats, 2nd edn. Dover Publications (2009)
2. Berghammer, R., Schmidt, G., Zierer, H.: Symmetric quotients and domain constructions. Inf. Process. Lett. 33(3), 163–168 (1989)
3. Berghammer, R., Winter, M.: Embedding mappings and splittings with applications. Acta Inf. 47(2), 77–110 (2010)
4. Bird, R., de Moor, O.: Algebra of Programming. Prentice Hall, Hoboken (1997)
5. Desharnais, J.: Abstract relational semantics. Ph.D. thesis, McGill University (1989)