Text this: Основы логических методов проверки автоматов: [монография]