Langages d'interprétation des schémas récursifs
and
R.A.I.R.O. Informatique théorique, 9 R1 (1975) 21-42
Published online: 01 February 2017
DOI: 10.1051/ita/197509R100211
