LEMA: towards a language for reliable arithmetic. - Vincent Lefèvre; Philippe Théveny; Florent de Dinechin; Claude-Pierre Jeannerod; Christophe Mouilleron; David Pfannholzer; Nathalie Revol (ACM Commun. Comput. Algebra, 2010)