APA (7th ed.) Citation

Yuan, J., Pixley, C., & Aziz, A. (2006). Constraint-based verification. Springer.

Chicago Style (17th ed.) Citation

Yuan, Jun, Carl Pixley, and Adnan Aziz. Constraint-based Verification. New York, NY: Springer, 2006.

MLA (9th ed.) Citation

Yuan, Jun, et al. Constraint-based Verification. Springer, 2006.