Validating Functional Equivalence of Re- engineered Programs via Control Path, Result, and Data Flow Comparison. - Sneed, Harry M. (Software Testing: Verification & Reliability, 1994)