Demonstrating Equivalence of Source Code and PROM Contents. - D. J. Pavey; L. A. Winsborrow (Comput. J., 1993)