Program adaptation via output-constraint specialization - Khoo, S.-C. (2013)
10.1023/B:LISP.0000029449.57959.bd