Gerhard Barth. Interprocedural data flow systems. In Armin B. Cremers, Hans-Peter Kriegel, editors, Theoretical Computer Science, 6th GI-Conference, Dortmund, Germany, January 5-7, 1983, Proceedings. Volume 145 of Lecture Notes in Computer Science, pages 49-59, Springer, 1983.
Abstract is missing.