@book{Caplain78,
title = {Langage de spécifications},
author = {Michel Caplain},
year = {1978},
url = {https://tel.archives-ouvertes.fr/tel-00288658},
researchr = {https://researchr.org/publication/Caplain78},
cites = {0},
citedby = {0},
}