A New Algorithm for Semantics-Based Program Integration - Yang, Wuu (University of Wisconsin-Madison Department of Computer Sciences, 1990)