Joseph Y. Halpern John H. Williams Edward L. Wimmers Timothy C. Winkler Denotational Semantics and Rewrite Rules for FP. 108-120 1985 POPL db/conf/popl/popl85.html#HalpernWWW85