Steffen, B. (1990). Data flow analysis as model checking. DAIMI Report Series, 19(325). https://doi.org/10.7146/dpb.v19i325.6715