The Combinatory Systems Theory - Piero Mella (Springer, 2017)