@entry{dar-kun-10-aa,
  author = {E Darulov{\'a} and V Kuncak},
  title = {On Rigorous Numerical Computation as a Scala Library},
  journal = {},
  year = 2010,
  url = {{\url{https://infoscience.epfl.ch/record/158754}}},
  quotes = {... Indeed, if we use affine arithmetic on the same ... or affine arithmetic computation implies the correctness of our overall approach: for each operation in interval or affine arithmetic the ...}
}