Christopher Colby Peter Lee An Implementation of Parametrized Partial Evaluation. 82-89 1991 JTASPEFT/WSA db/conf/sas/wsa91.html#ColbyL91