Text this: Topics in validated computations :