Сотрудничество с журналом "Annual Review in Automatic Programming"