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