Moldestad, J <br/><br/>
Lecture notes in mathematics no 574: computations in higher types 

 - New York  springer verlag  1977 
 - 203 p. 
<br/><br/><label>ISBN: </label>3-540-07618-2 
<br/><br/><label>Subjects--Index Terms: </label>Mathematics,