Validated Numerics - innbundet, Engelsk, 2011