@inproceedings{RISC2815,
author = {C. Schneider},
title = {{Some notes on ``When is 0.999... equal to 1?''}},
booktitle = {{Mathematics, Algorithms, Proofs}},
language = {english},
series = {Dagstuhl Seminar Proceedings},
number = {05021},
pages = {1--3},
publisher = {Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany},
isbn_issn = {ISSN 1862-4405},
year = {2006},
editor = {T.~Coquand et~al.},
refereed = {yes},
length = {3},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/275}
}