@book{Borrione81,
  title = {Langages de description de systèmes logiques : propositions pour une méthode formelle de définition},
  author = {Dominique Borrione},
  year = {1981},
  url = {https://tel.archives-ouvertes.fr/tel-00295284},
  researchr = {https://researchr.org/publication/Borrione81},
  cites = {0},
  citedby = {0},
}