"The Semantics of Lazy (and Industrious) Evaluation."

Robert Cartwright, James E. Donahue (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics