1. Abstract and Concrete Categories;Adamek,1990
2. An institution-independent proof of the Beth definability theorem;Aiguier;Studia Logica,2007
3. Module algebra;Bergstra;Journal of the Association for Computing Machinery,1990
4. Elementary algebraic specifications of the rational complex numbers;Bergstra,2006
5. Handbook of Categorical Algebra;Borceux,1994