Anderson, Robert B.
Proving programs correct
John Wiley & Sons, 1979
Buku Teks
Post-silicon validation and debug
Springer Cham, 2019
eBooks
Eccles, William J.
Microprocessor systems: a 16-Bit approach
Addison-Wesley Pub., 1985
Buku Teks
Partridge, D.
Kowledge-based information systems
McGraw-Hill, 1994
Buku Teks
Pembuatan sistem pakar untuk "troubleshooting'' komputer
Artikel Jurnal