@article{HCR+1,
title = { {The synchronous dataow programming language LUSTRE} },
author = {Halbwachs, Nicolas and Caspi, Paul and Raymond, Pascal and Pilaud, Daniel},
year = {1991},
journal = {{Proceedings of the IEEE}},
number = {9},
pages = {1305-1320},
publisher = {{Institute of Electrical and Electronics Engineers}},
volume = {79},
team = {SYNC, PACSS},
pdf = {https://hal.science/hal-05028988v1/file/lustre.ieee91.pdf},
hal_id = {hal-05028988},
hal_version = {v1},
}