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