Proceedings of the IEEE, 79, 1991

• Halbwachs, N.; Caspi, P.; Raymond, P. and Pilaud, (1991) Halbwachs, N.; Caspi, P.; Raymond, P. and Pilaud, D. "The synchronous data-flow programming language LUSTRE"