Семантика языков программирования: сборник статей - Бирюков А. Н.; Серебряков В. А.; Курочкин В. М. (Москва, Мир, 1980)