@inproceedings{ICMS14,
  title = {From Calculus to Algorithms without Errors},
  pages = {718--724},
  publisher = {Springer},
  author = {Norbert M\"uller and Martin Ziegler},
  series = {LNCS},
  volume = {8592},
  booktitle = {Proc. 4th International Congress on Mathematical Software
               (ICMS)},
  year = {2014},
}