Verification of floating point programs. - Jan Andrzej Duracz (2010)