Deriving a lazy abstract machine (1997)

by P Sestoft
Venue:J. Funct. Programming