Shan-Jon Chao Barrett R. Bryant Denotational data flow analysis for parallel implementation of imperative programs. 17-26 1988 conf/acm/1988 ACM Conference on Computer Science http://doi.acm.org/10.1145/322609.322612 db/conf/acm/csc1988.html#ChaoB88