Signal: A declarative language for synchronous programming of real-time systems (1987)

by T Gautier, P L Guernic, L Besnard
Venue:In FPCA’87