Text this: Scientific computing, validated numerics, interval methods