1. Bottom-Up Computation of Recursive Programs;Berry G.;Informatique Théorique et Applications (ITA),1976
2. Theory of latency-insensitive design
3. P. Caspi , N. Halbwachs , D. Pilaud , and J.A. Plaice . 1987 . LUSTRE: A declarative language for programming synchronous systems. In Principles of Programming Languages (POPL) . ACM , Munich, Germany , 178--188. P. Caspi, N. Halbwachs, D. Pilaud, and J.A. Plaice. 1987. LUSTRE: A declarative language for programming synchronous systems. In Principles of Programming Languages (POPL). ACM, Munich, Germany, 178--188.
4. First version of a data flow procedure language
5. T. Gautier , P. Le Guernic , and L. Besnard . 1987. SIGNAL, a declarative language for synchronous programming of real-time systems . In Functional Programming Languages and Computer Architecture (LNCS , Vol. 274), G. Kahn (Ed.). Springer, Portland, Oregon, USA, 257-- 277 . T. Gautier, P. Le Guernic, and L. Besnard. 1987. SIGNAL, a declarative language for synchronous programming of real-time systems. In Functional Programming Languages and Computer Architecture (LNCS, Vol. 274), G. Kahn (Ed.). Springer, Portland, Oregon, USA, 257--277.