A theory of complexity of monadic recursion schemes A. Ja. Dikovskii RAIRO. Inform. théor., 15 1 (1981) 67-94 Published online: 01 February 2017 DOI: 10.1051/ita/1981150100671