A Unified Model of Pointwise Equivalence of Procedural Computations. - David G. Von Bank; Charles M. Shub; Robert W. Sebesta (ACM Trans. Program. Lang. Syst., 1994)