@phdthesis{Ray1,
title = { Compilation efficace d'un langage d\'eclaratif synchrone~: Le g\'en\'erateur de code Lustre-V3 },
author = {Raymond, Pascal},
month = {november},
year = {1991},
address = {Grenoble, France},
institution = {Institut National Polytechnique de Grenoble},
type = {Th\`ese},
school = {INPG},
team = {SYNC},
}