Flemming Nielson. Expected forms of data flow analyses. In Harald Ganzinger, Neil D. Jones, editors, Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark, October 17-19, 1985. Volume 217 of Lecture Notes in Computer Science, pages 172-191, Springer, 1985.
Abstract is missing.