Holm, J. E. (1980). Floating-point arithmetic and program correctness proofs ([Mikrofiche-Ausg.].).
Chicago Style (17th ed.) CitationHolm, John Erick. Floating-point Arithmetic and Program Correctness Proofs. [Mikrofiche-Ausg.]. 1980.
MLA (9th ed.) CitationHolm, John Erick. Floating-point Arithmetic and Program Correctness Proofs. [Mikrofiche-Ausg.]. 1980.
Warning: These citations may not always be 100% accurate.