00290nam a2200121Ia 4500082001900000100002100019245003500040260003400075300001000109490003900119500000500158700000500163  a511.3bM717.CH  aMoldestad, Johan  aComputations in higher typesb  aBerlinbSpringer-Verlagc1977  a203p.  aLecture notes in Mathematicsv 574  a  a