An Operational Semantics of Lazy Evaluation for Analysis (1993)

by J M Seaman