APA (7th ed.) Citation

Bolton, C., & Davies, J. (2002). Refinement in Object−Z and CSP.

Chicago Style (17th ed.) Citation

Bolton, C., and J. Davies. Refinement in Object−Z and CSP. 2002.

MLA (9th ed.) Citation

Bolton, C., and J. Davies. Refinement in Object−Z and CSP. 2002.

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