Steffen, B. Data Flow Analysis As Model Checking. DPB 1990, 19.