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

Witkowski, T., Blanc, N., Weissenbacher, G., & Kroening, D. (2007). Model Checking Concurrent Linux Device Drivers. IEEE.

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

Witkowski, T., N. Blanc, G. Weissenbacher, και D. Kroening. Model Checking Concurrent Linux Device Drivers. IEEE, 2007.

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

Witkowski, T., et al. Model Checking Concurrent Linux Device Drivers. IEEE, 2007.