Steffen, B. “Data Flow Analysis As Model Checking”. DAIMI Report Series, vol. 19, no. 325, July 1990, doi:10.7146/dpb.v19i325.6715.