Joost Engelfriet Iterating Iterated Substitution. 85-100 1977 5 1 Theor. Comput. Sci. db/journals/tcs/tcs5.html#Engelfriet77 http://dx.doi.org/10.1016/0304-3975(77)90043-3