Philippe Clauss Irina Tchoupaeva A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization. 120-133 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2985&spage=120 2004 conf/cc/2004 CC db/conf/cc/cc2004.html#ClaussT04