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