M. Hasbi
Struktur data dan algoritma : dalam pemograman turbo pascal
Gaya Media, 2003
 Buku Teks SO
M. Hasbi
Struktur data dan algoritma : dalam pemograman turbo pascal
Gaya Media, 2003
 Buku Teks SO
M. Hasbi
Struktur data dan algoritma : dalam pemograman turbo pascal
Gaya Media, 2003
 Buku Teks SO
Milhatul Hikmah
Penerapan model project based learning untuk meningkatkan partisipasi dan hasil belajar
Pusat Data dan Teknologi Informasi, 2020
 Artikel Jurnal
Proses verifikasi piranti lunak basis data dengan lingu dan theorem prover hol
oleh Heru Suhartanto [and others]
Fakultas Ilmu Komputer Universitas Indonesia, 2007
 Buku Teks