Reliable Methods for Computer Simulation : Error Control and Posteriori Estimates (Studies in Mathematics and Its Applications)