Reliable methods for computer simulation : error control and a posteriori estimates - Neittaanmäki, P. (Elsevier, 2004)