Higher-order computability - Longley, John; Normann, Dag (Springer, 2015)