Исследования по математической лингвистике, математической логике и информационным языкам сборник статей - Бочвар Д. А.; Шрейдер Ю. А. (Москва, Наука, 1972)