@article{HCR+91c,
title = { The synchronous dataflow programming language \lustre },
author = {Halbwachs, Nicolas and Caspi, Paul and Raymond, Pascal and Pilaud, Daniel},
month = {sep},
year = {1991},
journal = {Proceedings of the IEEE},
number = {9},
pages = {1305-1320},
volume = {79},
team = {SYNC},
}