1. Avron, A.: Simple consequence relations. Information and Computation, 91(1):105–139 (1991).
2. Birkhoff, G., Lipson, J.D.: Heteregeneous algebras. J. Combinatorial Theory 8:115–133 (1970).
3. Broy, M., Wirsing, M.: Partial abstract data types. Acta Informatica 18(1):47–64 (1982).
4. Burstall, R.M., Goguen, J.A.: Putting theories together to make specifications. Proc. 5th Intl. Joint Conf. on Artificial Intelligence, Cambridge, Massachusetts, 1045–1058 (1977).
5. Cerioli, M.: Relationships between Logical Formalisms. PhD thesis, TD-4/93, Universitá di Pisa-Genova-Udine (1993).