@phdthesis{Roc92,
title = {Extension du langage Lustre et application \`a la conception de circuits : Le langage Lustre-V4 et le syst\`eme POLLUX },
author = {Rocheteau, Fr\'ed\'eric},
year = {1992},
school = {Institut National Polytechnique de Grenoble},
team = {SYNC},
}