no. R1
Langages d'interprétation des schémas récursifs
Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, Tome 9 (1975) no. R1, pp. 21-42. 
@article{ITA_1975__9_1_21_0,
     author = {Cousineau, F. G. and Rifflet, J.-M.},
     title = {Langages d'interpr\'etation des sch\'emas r\'ecursifs},
     journal = {Revue fran\c{c}aise d'automatique informatique recherche op\'erationnelle. Informatique th\'eorique},
     pages = {21--42},
     publisher = {Dunod-Gauthier-Villars},
     address = {Paris},
     volume = {9},
     number = {R1},
     year = {1975},
     mrnumber = {411250},
     zbl = {0331.68007},
     language = {fr},
     url = {http://archive.numdam.org/item/ITA_1975__9_1_21_0/}
}
TY  - JOUR
AU  - Cousineau, F. G.
AU  - Rifflet, J.-M.
TI  - Langages d'interprétation des schémas récursifs
JO  - Revue française d'automatique informatique recherche opérationnelle. Informatique théorique
PY  - 1975
SP  - 21
EP  - 42
VL  - 9
IS  - R1
PB  - Dunod-Gauthier-Villars
PP  - Paris
UR  - http://archive.numdam.org/item/ITA_1975__9_1_21_0/
LA  - fr
ID  - ITA_1975__9_1_21_0
ER  - 
%0 Journal Article
%A Cousineau, F. G.
%A Rifflet, J.-M.
%T Langages d'interprétation des schémas récursifs
%J Revue française d'automatique informatique recherche opérationnelle. Informatique théorique
%D 1975
%P 21-42
%V 9
%N R1
%I Dunod-Gauthier-Villars
%C Paris
%U http://archive.numdam.org/item/ITA_1975__9_1_21_0/
%G fr
%F ITA_1975__9_1_21_0
Cousineau, F. G.; Rifflet, J.-M. Langages d'interprétation des schémas récursifs. Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, Tome 9 (1975) no. R1, pp. 21-42. http://archive.numdam.org/item/ITA_1975__9_1_21_0/

[1] Aschcroft E. Manna Z. et Pnueli A., Decidable Properties of Monadic Functional Schemas, in Theory of Machines and Computation, pp. 3-17, Kohavi et Paz ed. Academic Press (1971). | Zbl

[2] Cousineau F. G. et Rifflet J.-M., Schémas de Programme : Problèmes d'équivalence et complexité, Thèse de Troisième Cycle, Université Paris 7 (février 1974).

[3] Garland S. J. et Luckham D. C., Program Schemes, Recursive Schemes and Formal Languages, J. Comput. System Sci. 7 (1973), n° 2, pp. 119-160. | Zbl