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

Wang, C., Hachtel, G. D., & Somenzi, F. (2006). Abstraction Refinement for Large Scale Model Checking. Springer US.

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

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

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

Wang, Chao, et al. Abstraction Refinement for Large Scale Model Checking. Springer US, 2006.