Wolff von Gudenberg, J. "Floating-point Computation in PASCAL-SC with Verified Results"

(1985) European Conference on Computer Algebra EUROCAL 85 LNCS 204  

Languages mentioned Pascal-SC {1982}