Lustre: A declarative language for programming synchronous systems. (1987)

by P Caspi, N Halbwachs, D Pilaud, J A Plaice
Venue:In 14th ACM Symp. on Principles of Programming Languages,