1. A new computational model and its discipline of programming;Banâtre;INRIA research report No. 566,1986
2. J.-P. Banâtre and D. Le Métayer, A new approach to systematic program derivation, in: Proceedings of the 1987 Workshop on Software Specification and Design, Montery, April 3–4, IEEE pp. 208–215.
3. Cellular Automata;Codd,1968
4. Synthèse de programmes dans le formalisme Γ;Coutant;M.Sc. Thesis,1986
5. Parallel computing and its evolution;Denning;Comm. ACM,1986