Обратная теорема Алгоритмические и эвристические процессы мышления - Корельская Т.Д., Падучева Е.В (Математикө, кибернетика, 1978)