Tracing Lazy Evaluation by Program Transformation (1996)

by R D Watson