Электронный каталог: Смальян Раймонд М. - Теория формальных систем