Wei Chen Jan Tijmen Udding Program Inversion: More than Fun! 1-13 1990 15 Sci. Comput. Program. 1 db/journals/scp/scp15.html#ChenU90 http://dx.doi.org/10.1016/0167-6423(90)90042-C