RISC RISC Research Institute for Symbolic Computation  
  • @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/}
    }