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

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