@PHDTHESIS{sicar1988,
url = "http://www.theses.fr/1988INPG0092",
title = "Nouvelles méthodes de synthèse logique",
author = "Sicard, Pascal",
year = "1988",
pages = "1 vol. (179 p.)",
note = "Thèse de doctorat dirigée par Saucier, Gabrièle Informatique Grenoble INPG 1988",
note = "1988INPG0092",
}