Paper  doi  bibtex   

@ARTICLE{MS15,
  author = {Miyamoto, Kenji and Schwichtenberg, Helmut},
  title = {Program extraction in exact real arithmetic},
  journal = {Mathematical Structures in Computer Science},
  year = {2015},
  volume = {25},
  pages = {1692--1704},
  month = {12},
  doi = {10.1017/S0960129513000327},
  file = {MS15.pdf:MS15.pdf:PDF},
  issn = {1469-8072},
  issue = {Special Issue 08},
  keywords = {bib,cca},
  numpages = {13},
  owner = {Vasco},
  timestamp = {2015.11.18},
  url = {http://journals.cambridge.org/article_S0960129513000327}
}