Барендрегт Хенк
Ламбда-исчисление. Его синтаксис и семантика
Радионики Карла Вельца. Технологии оргона