Вроде бы решённая: в аннотации на книжку, про ссылку на которую я уже упоминал (приведена ниже в комментариях), это, кажется, есть (если я правильно понял полузнакомую терминологию). Правда, упоминание Академии Нелинейных Наук наводит меня на всякие нехорошие подозрения.

... Шли по лесу и встретили программиста ...