Roggenbach, M., Isobe, Y., & Merrin, W. (2007). Proof principles of CSP - CSP-Prover in practice. Springer.
Chicago Style CitationRoggenbach, Markus, Yohinao Isobe, and William Merrin. Proof Principles of CSP - CSP-Prover in Practice. Springer, 2007.
MLA CitationRoggenbach, Markus, Yohinao Isobe, and William Merrin. Proof Principles of CSP - CSP-Prover in Practice. Springer, 2007.
Warning: These citations may not always be 100% accurate.