Computability and Complexity in Analysis 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers Blanck Jens Heftet / 2001 / Engelsk
Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers Hertling Peter Heftet / 2008 / Engelsk