Παραπομπή σε μορφή APA (7η εκδ.)

Molitor, P., Mohnke, J., Becker, B., & Scholl, C. (2004). Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods. Springer US.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Molitor, Paul, Janett Mohnke, Bernd Becker, και Christoph Scholl. Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods. Boston, MA: Springer US, 2004.

Παραπομπή σε μορφή MLA (8th εκδ.)

Molitor, Paul, et al. Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods. Springer US, 2004.