Siau-Cheng Khoo Kun Shi Program Adaptation via Output-Constraint Specialization. 93-128 2004 17 Higher-Order and Symbolic Computation 1-2 http://dx.doi.org/10.1023/B:LISP.0000029449.57959.bd db/journals/lisp/lisp17.html#KhooS04