Alfred V. Aho Jeffrey D. Ullman Equivalence of Programs with Structured Variables. 125-137 1972 6 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss6.html#AhoU72