1. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories: The Joy of Cats. Pure and Applied Mathematics. Wiley, New York (1990)
2. Andréka, H., Németi, I.: Formulas and ultraproducts in categories. Beiträge zur Algebra und Geometrie 8, 133–151 (1979)
3. Bell, J.L.: Infinitary logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, winter, 2016th edn. Stanford University, Metaphysics Research Lab (2016)
4. Birkhoff, G.: On the structure of abstract algebras. Proc. Camb. Philos. Soc. 31, 433–454 (1935)
5. Caicedo, X.: Finitely axiomatizable quasivarieties of graphs. Algebra Universalis 34, 314–321 (1995)