Wei Chen A Formal Approach to Program Inversion. 398-403 1990 ACM Conference on Computer Science http://doi.acm.org/10.1145/100348.100410 db/conf/acm/csc90.html#Chen90