B. Steffen, “Data flow analysis as model checking”, DPB, vol. 19, no. 325, Jul. 1990.