J. M. Barzdin. The Problem of Reachability and Verification of Programs. In Jirí Becvár, editor, Mathematical Foundations of Computer Science 1979, Proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979. Volume 74 of Lecture Notes in Computer Science, pages 13-25, Springer, 1979.
Abstract is missing.