Semantika jazykov programmirovanija. Sbornik statej - Marcotty, M. (Mir, 1980)