LUSTRE: A declarative language for programming synchronous systems (1987)

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