на статью И.Л. Братчикова и Х.И. Тойриха "О формализации некоторых контекстных условий языков программирования"