касающаяся разных идей: раскраска бесконечных графов; курс "Трансформационная теория программирования"; когда лучше программировать абстрактный алгоритм и т.д.