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

Kropf, T. (1997). Formal hardware verification: Methods and systems in comparison. Springer.

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

Kropf, Thomas. Formal Hardware Verification: Methods and Systems in Comparison. Berlin ; New York: Springer, 1997.

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

Kropf, Thomas. Formal Hardware Verification: Methods and Systems in Comparison. Springer, 1997.