[1]
F. Nielson, “A Denotational Framework for Data Flow Analysis”, DPB, vol. 10, no. 135, Jul. 1981.