Предлагает написать статью для "Ежегодного обозрения по автоматическому программированию", сравнивающую подходы к проблемам программирования профессоров Дж. Шварца и Э. Дейкстры.