Oscar H. Ibarra, Louis E. Rosier. The Equivalence Problem and Correctness Formulas for a Simple Class of Programs. Inf. Comput., 65(1):18-41, April 1985.
@article{IbarraR85a,
title = {The Equivalence Problem and Correctness Formulas for a Simple Class of Programs},
author = {Oscar H. Ibarra and Louis E. Rosier},
year = {1985},
month = {April},
tags = {e-science},
researchr = {https://researchr.org/publication/IbarraR85a},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {65},
number = {1},
pages = {18-41},
}