International Symposium on Theoretical Programming [Proceedings held on August 7-11, 1972]
International Symposium on Theoretical Programming 1972 Novosibirsk A. P Ershov (Andreæi Petrovich); Valerii Aleksandrovich Nepomnëiìashchiæi 1939-
Berlin Springer-Verlag New York 1974
Available at ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.5 e.2 ) and other locations(GetIt)