Semantika jazykov programmirovanija : sbornik statej. (Mir, 1980)