Complexity of Flow Analysis, Inductive Assertion Synthesis and a Language Due to Dijkstra

Neil D. Jones, Steven S. Muchnick. Complexity of Flow Analysis, Inductive Assertion Synthesis and a Language Due to Dijkstra. In 21st Annual Symposium on Foundations of Computer Science, 13-15 October 1980, Syracuse, New York, USA. pages 185-190, IEEE, 1980.