Bibtex de la publication

@PhDThesis{ Co1997.5,
author = {Colaço, Jean-Louis},
title = "{Analyses Statiques de Langages d'Acteurs par inférence de types}",
year = {1997},
month = {octobre},
type = {Thèse de doctorat},
school = {Institut National Polytechnique de Toulouse},
address = {Toulouse, France}
}