Une double hiérarchie infinie de langages vérifiablesFrançois RodriguezR.A.I.R.O. Informatique théorique, 9 R1 (1975) 5-19DOI: https://doi.org/10.1051/ita/197509R100051