@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}
}