Parameterized partial evaluation: theory and practice (1992)

by S C Khoo