Language Oriented Programming (LOP) в действии / Habr Проблема остановки является примером задач