Gunther Schmidt. Investigating Programs in Terms of Partial Graphs. In Hermann A. Maurer, editor, Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings. Volume 71 of Lecture Notes in Computer Science, pages 505-519, Springer, 1979.
Abstract is missing.