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