Computations in higher types - Moldestad, John 1946- (Springer, 1964)
En : Lecture notes in mathematics. n. 1- Berlin, Springer, 1964- v. 574