Bergerand, J-L. Caspi, P. Halbwachs, and J. A. Plaice. "Automatic control systems programming using a real-time declarative language.

5th IFAG/IFIP Symposium on Software/or Computer Co (1986) 5th IFAG/IFIP Symposium on Software/or Computer Control (SO- COCO), Graz, Austria, 1986.  

Languages mentioned LUSTRE {1985}