Bernhard Steffen Generating Data Flow Analysis Algorithms from Modal Specifications. 115-139 1993 21 Sci. Comput. Program. 2 db/journals/scp/scp21.html#Steffen93