Поправки к статье “Нормальное задание семантик языков современных систем программирования” (ДАН, т. 223, № б, 1975 г.)

I. V. Velbitskii