1. and , Category Theory for Computing Science, Third Edition (Les Publications CRM, 1999).
2. Some theorems on structural consequence operations
3. Handbook of Categorical Algebra. Encyclopedia of Mathematics and Its Applications 50 (Cambridge University Press, 1994).
4. On Elementary Equivalence for Equality-free Logic
5. and , Model Theory (Elsevier, 1990).