John Maraist Martin Odersky Philip Wadler The Call-by-Need Lambda Calculus. 275-317 1998 8 J. Funct. Program. 3 db/journals/jfp/jfp8.html#MaraistOW98