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

Yuan, J., Pixley, C., & Aziz, A. (2006). Constraint-Based Verification. Springer Science+Business Media, Inc.

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

Yuan, Jun, Carl Pixley, και Adnan Aziz. Constraint-Based Verification. Boston, MA: Springer Science+Business Media, Inc, 2006.

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

Yuan, Jun, et al. Constraint-Based Verification. Springer Science+Business Media, Inc, 2006.