Вольфенгаген В.Э.
Комбинаторная логика в программировании
Ноокулон. Управление реальностью.