The Equivalence Problem and Correctness Formulas for a Simple Class of Programs (Extended Abstract).

Oscar H. Ibarra, Louis E. Rosier

Browse the full MFCS paper archive.