Lazy functional languages : abstract interpretation and compilation / - Burn, Geoffrey. (Pitman, 1991)