Roggenbach, M., Isobe, Y., & Roggenbach, M. (2005). A Generic Theorem Prover of CSP Refinement. Tools and Algorithms for the Construction and Analysis of Systems, 3440, pp. 108-123. doi:10.1007/b107194
Chicago Style CitationRoggenbach, Markus, Yoshinao Isobe, and Mark Roggenbach. "A Generic Theorem Prover of CSP Refinement." Tools and Algorithms for the Construction and Analysis of Systems 3440 (2005): 108-123.
MLA CitationRoggenbach, Markus, Yoshinao Isobe, and Mark Roggenbach. "A Generic Theorem Prover of CSP Refinement." Tools and Algorithms for the Construction and Analysis of Systems 3440 (2005): 108-123.
Warning: These citations may not always be 100% accurate.