@techreport{RISC5020,
author = {Nicolas Brisebarre and Christoph Lauter and Marc Mezzarobba and Jean-Michel Muller},
title = {{Comparison between binary and decimal floating-point numbers}},
language = {english},
number = {hal-01021928},
year = {2014},
institution = {HAL},
length = {13},
url = {http://hal.archives-ouvertes.fr/hal-01021928/}
}