LUSTRE: a declarative language for real-time programming (1987)

by Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John A Plaice
Venue:In POPL ’87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages