Reliable methods for computer simulation: Error control and a posteriori estimates - Neittaanmaki, Pekka (Stidies in mathematics and its applications, 2004)