Combinatory logic : pure, applied and typed - Bimbó, Katalin (CRC Press, 2012)