Jon G. Rokne, Peter Lancaster: Automatic errorbounds for the approximate solution of equations. Computing 4(4): 294-303 (1969)