Available online at http://www.dina.kvl.dk/~sestoft/pebook (1993)

by Neil D Jones, Carsten K Gomard, Peter Sestoft
Venue:Partial Evaluation and Automatic Program Generation. Prentice-Hall International