------------~--, 

P.III.627Suppl.6 
/IW 

Computation Seientiliie Verifieation.u.
Kulisch and H.J. Stetter /eds./ Scientific 
Computation with Automatie Result 
Verification. /Mit Tab./-Wien,New York: 
Springer-Verl. (1988). VIII,244 S.4° 
<fomputing.Supplementum.6.)