Harry M. Sneed Validating Functional Equivalence of Re-engineered Programs via Control Path, Result, and Data Flow Comparison. 33-44 1994 4 Softw. Test., Verif. Reliab. 1 db/journals/stvr/stvr4.html#Sneed94