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

Blanc, N., & Kroening, D. (2010). Race analysis for systemC using model checking. Association for Computing Machinery.

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

Blanc, N., και D. Kroening. Race Analysis for SystemC Using Model Checking. Association for Computing Machinery, 2010.

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

Blanc, N., και D. Kroening. Race Analysis for SystemC Using Model Checking. Association for Computing Machinery, 2010.