1. A proof system for communicating sequential processes;Apt;ACM Trans. Programming Languages Syst.,1980
2. LUCID: a non procedural language with iterations;Ashcroft;Comm. ACM,1977
3. Stepwise refinement of action systems;Back,1989
4. An Introduction to the Theory of Lists;Bird,1986
5. LUSTRE: a declarative language for programming synchronous systems;Caspi,1987