An operational semantics of sharing in lazy evaluation
scientific article; zbMATH DE number 955133