A theory of complexity of monadic recursion schemes A. Ja. Dikovskii — 1981 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications