"An Adequate Operational Semantics for Sharing in Lazy Evaluation."

S. Purushothaman, Jill Seaman (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics