Equivalence of Programs with Structured Variables

Alfred V. Aho, Jeffrey D. Ullman. Equivalence of Programs with Structured Variables. J. Comput. Syst. Sci., 6(2):125-137, 1972.

Abstract

Abstract is missing.