Russinoff, David M.
Formal verification of floating-point hardware design: A mathematical approach
Springer Cham, 2019
 eBooks
Lie Trishadi Rusli
Tinjauan terhadap Metode-metode Alternatif dalam Penjumlahan Bilangan Floating Point
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1995
 UI - Skripsi Membership
Timotius
Tinjauan Metode Compensated pada Penjumlahan Rekursif Floating-Point
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1995
 UI - Skripsi Membership
Hutabarat, Bernaridho I.
Are IEEE 754 32-bit and 64-bit binary floating -point accurate enough?
Direktorat Riset dan Pengabdian Masyarakat Universitas Indonesia, 2011
 Artikel Jurnal
Moler, Cleve B.
Numerical computing with MATLAB
Society for Industrial and Applied Mathematics, 2004
 eBooks