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

Wang, C., Hachtel, G. D., & Somenzi, F. (2006). Abstraction Refinement for Large Scale Model Checking. Springer Science+Business Media, LLC.

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

Wang, Chao, Gary D. Hachtel, και Fabio Somenzi. Abstraction Refinement for Large Scale Model Checking. Boston, MA: Springer Science+Business Media, LLC, 2006.

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

Wang, Chao, et al. Abstraction Refinement for Large Scale Model Checking. Springer Science+Business Media, LLC, 2006.