Therrezinha Fernandes. A Kleene Algebra Framework for Data Flow Analysis. In 18th Australian Software Engineering Conference (ASWEC 2007), April 10-13, 2007, Melbourne, Australia. pages 201-210, IEEE Computer Society, 2007. [doi]
Abstract is missing.