Combinatory Logic: pure applied and typed - Bombo, Katalin (CRC Press, 2011)