Computations in higher types - Moldestad, Johan (Lecture Notes in Mathematics, 574, 1977)