Shan-Jon Chao Barrett R. Bryant Denotational semantics for program analysis. 83-91 1988 23 SIGPLAN Notices 1 http://doi.acm.org/10.1145/44304.44312 db/journals/sigplan/sigplan23.html#ChaoB88