1. Colloquia Mathematics Societas János Bolyai;H. Andréka,1981
2. Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Brückner, B., Mosses, P., Sannella, D., Tarlecki, A.: CASL: The common algebraic specification language. Theoretical Computer Science 286(2), 153–196 (2002)
3. Barbier, F.: Géneralisation et préservation au travers de la combinaison des logique des résultats de théorie des modèles standards liés à la structuration des spécifications algébriques. PhD thesis, Université Evry (2005)
4. Barwise, J.: Axioms for abstract model theory. Annals of Mathematical Logic 7, 221–265 (1974)
5. Barwise, J., Feferman, S.: Model-Theoretic Logics. Springer, Heidelberg (1985)