1. Aceto, L., Hennessy, M.: Termination, deadlock, and divergence. J. ACM 39, 147–187 (1992)
2. Aceto, L., Ingólfsdóttir, A., Larsen, K., Srba, J.: Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, New York (2007)
3. Adámek, J., Trnková, V.: Automata and Algebras in Categories, Mathematics and Its Applications, vol. 37. Kluwer, Dordrecht (1990)
4. Baader, F., Brandt, S., Lutz, C.: Pushing the $$\cal{EL}$$EL envelope. In: International Joint Conference on Artificial Intelligence, IJCAI 2005. Morgan-Kaufmann (2005)
5. Barr, M.: Relational algebras. In: Reports of the Midwest Category Seminar. LNM, vol. 137. Springer (1970)