@inproceedings{HCR+91a,
title = {The synchronous data-flow programming language {Lustre} (extended abstract) },
author = {Halbwachs, Nicolas and Caspi, Paul and Raymond, Pascal and Pilaud, Daniel},
month = {jul},
year = {1991},
booktitle = {1st European Control Conference},
address = {Grenoble},
pages = {1661--1665},
team = {SYNC},
}