Scientific computing, validated numerics, interval methods - Kramer, Walter; Wolff von Gudenberg, Jurgen (Kluwer Academic/Plenum Publishers, 2001)