D. Tsichritzis
Department of Computer Science, University of Toronto, Toronto, Canada
The Equivalence Problem of Simple Programs
Journal of the ACM (JACM)
The complexity of loop programs
ACM '67 Proceedings of the 1967 22nd national conference