@misc {IOPORT.60013855,
    author       = {Plum, Michael},
    title        = {Safe numerical error bounds for solutions of nonlinear elliptic boundary value problems},
    howpublished = {Symbolic Algebraic Methods and Verification Methods, 195-207 (2001).},
    year         = {2001},
    identifier   = {60013855},
}