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)
Russinoff, David M.
Formal verification of floating-point hardware design: A mathematical approach
Springer Cham, 2019
 eBooks
Overton, Michael L.
Numerical computing with IEEE floating point arithmetic
Society for Industrial and Applied Mathematics, 2001
 eBooks
Evaluasi penggunaan sediaan farmasi intravena untuk penyakit infeksi pada salah satu rumah sakit swasta di kota Bandung
[Fakultas Farmasi Universitas Indonesia, Universitas Padjadjaran. Fakultas Farmasi], 2008
 Artikel Jurnal
Dwi Teguh Priyantini
Formalisasi algoritma aritmatika dan konstruksi terkait pada VHDL dengan HOL theorem prover = Formalization of arithmetic algorithm and the related constructions in VHDL by using HOL theorem prover
Fakultas Ilmu Komputer Universitas Indonesia, 2017
 UI - Tesis (Membership)