Joost Engelfriet Hierarchies of Hyper-AFLs. 86-115 1985 30 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss30.html#Engelfriet85