Alfred V. Aho, Jeffrey D. Ullman. Equivalence of Programs with Structured Variables. In Conference Record of 1970 Eleventh Annual Symposium on Switching and Automata Theory, 28-30 October 1970, Santa Monica, California, USA. pages 25-31, IEEE, 1970.
Abstract is missing.