Основные понятия и методы теории формальных систем. Волохович А.В.