Rudi Klatte, Christian P. Ullrich, Jürgen Wolff von Gudenberg. Arithmetic Specification for Scientific Computation in ADA. IEEE Transactions on Computers, 34(11):996-1005, 1985.
@article{KlatteUG85, title = {Arithmetic Specification for Scientific Computation in ADA}, author = {Rudi Klatte and Christian P. Ullrich and Jürgen Wolff von Gudenberg}, year = {1985}, researchr = {https://researchr.org/publication/KlatteUG85}, cites = {0}, citedby = {0}, journal = {IEEE Transactions on Computers}, volume = {34}, number = {11}, pages = {996-1005}, }