Higher-Order Computability - Longley, John; Normann, Dag (Springer Berlin Heidelberg : Imprint: Springer, 2015)