SMS dit: Прикладная теория цифровых автоматов: учебное пособие