Computations in Higher Types - Moldestad, Johan (Springer, 1977)