John Longley and Dag Normann (2015). Higher-Order Computability. Berlin: Springer. https://link.springer.com/book/10.1007/978-3-662-47992-6