Carl H. Smith Mahendran Velauthapillai On the Inference of Approximate Programs. 249-266 1990 77 Theor. Comput. Sci. 3 db/journals/tcs/tcs77.html#SmithV90