Sergei Ivanov Michel de Rougemont Interactive Protocols on the Reals. 499-510 1998 conf/stacs/1998 STACS db/conf/stacs/stacs98.html#IvanovR98 http://dx.doi.org/10.1007/BFb0028585