Telefona gönder: Ламбда-исчисление. Его синтаксис и семантика: пер. с англ.