Semantika jazykov programmirovanija : sbornik statej - Kuročkin, V.M; Birjukov, A.N (Mir - Moskva, 1980)