Guitart, R., & Lair, C. (1980). Calcul syntaxique des modèles et calcul des formules internes. Diagrammes, 4, GL1–GL106. http://eudml.org/doc/192976 
@article{Guitart1980calcul,
  title = {Calcul syntaxique des modèles et calcul des formules internes},
  author = {Guitart, René and Lair, C.},
  journal = {Diagrammes},
  language = {fre},
  pages = {GL1-GL106},
  publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
  url = {http://eudml.org/doc/192976},
  volume = {4},
  year = {1980}
}