@PHDTHESIS{gille1990,
url = "
		http://www.theses.fr/1990LIL10121",
title = "Reconnaissabilité et fragments décidables en réécriture : automates à piles et calculs de formes normales",
author = "Gilleron, Rémi",
year = "1990",
pages = "1 vol. (144 p.)",
note = "Thèse de doctorat dirigée par Dauchet, Max Informatique Lille 1 1990",
note = "1990LIL10121",
}