Tracing Lazy Functional Languages - Gibbons, J; Wansbrough, K (Computing: The Australasian Theory Seminar, 1996)