@incollection{Cas97a,
title = {Aper\c{c}u du langage {L}ustre },
author = {Caspi, Paul},
year = {1997},
booktitle = {Applications des M\'ethodes Formelles au Logiciel},
institution = {{Observatoire fran\c{c}ais des techniques avanc\'ees}},
publisher = {Masson},
series = {Arago},
volume = {20},
team = {SYNC},
}
