Siswo Prayitno
Pelacakan (detecting dan locating) bridging fault pada rangkaian kombinasional.
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1993
 UI - Skripsi Membership
Eggersgluß, Stephan
High quality test pattern generation and boolean satisfiability
[, Springer], 2012
 eBooks
Annisa Puspitasari
Operasi-operasi pada reduced ordered binary decision diagram
Universitas Indonesia, 2010
 UI - Skripsi Open
Operasi – Operasi pada Reduced Ordered Binary Decision Diagrams (ROBDD)
Universitas Indonesia, 2010
 UI - Skripsi Membership
Pfeiffer, Paul E.
Sets, events, and switching
McGraw-Hill, 1964
 Buku Teks SO