@book{kul-ste-88-scver, title = {Scientific Computation with Automatic Result Verification}, editor = {U. Kulisch and H. J. Stetter}, series = {Computing Supplementum}, volume = {6}, pages = {viii+244}, year = 1988, publisher = {Springer}, address = {Vienna}, note = {Papers from the conference held in Karlsruhe, September 30--October 2, 1987}, isbn = {3-211-82063-9}, altkeys = {Kulisch-Stetter-88} }