Stav dette: Ламбда-исчисление. Его синтаксис и семантика: пер. с англ.