A System For Representing The Evaluation of Lazy Functions (1991)

by J Taylor