An adequate operational semantics of sharing in lazy evaluation (1992)

by Purushothaman, J Seaman
Venue:In Proceedings of the 4th European Symposium on Programming, LNCS 582