Ismail Besari
Matematika universitas : Matematika I
Amrico, 1984
Buku Teks
M. Margha
Matematika universitas
Armico, 1980
Buku Teks
Matematika pendahuluan
ITB Press, 1983
Buku Teks
Glosarium matematika
Djati Kerami
Balai Pustaka, 2008
Buku Teks
Belawati H. Widjaja
Peran matematika dalam metode formal untuk pengembangan perangkat lunak yang andal
UI-Press, 2001
UI - Pidato