Знакомый ищет книгу: Вольфенгаген В.Э. Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах. -- М.: МИФИ, 1994. – 204 с.; 2-е изд., М.: АО "Центр ЮрИнфоР", 2003. – 336 с. ISBN 5-89158-101-9.
в Москве готов забрать руками, конечно буду рад djvu
в магазинах не нашёл.