Une double hiérarchie infinie de langages vérifiables François Rodriguez R.A.I.R.O. Informatique théorique, 9 R1 (1975) 5-19 Published online: 01 February 2017 DOI: 10.1051/ita/197509R100051
