APA Citation

O'Reilly, L. (2008). Developing proof technology for CSP-CASL.

Chicago Style Citation

O'Reilly, Liam. Developing Proof Technology for CSP-CASL. 2008.

MLA Citation

O'Reilly, Liam. Developing Proof Technology for CSP-CASL. 2008.

Warning: These citations may not always be 100% accurate.