APA (7th ed.) Citation

Evans, N., & Treharne, H. (2005). Investigating a file transfer protocol using CSP and B. Software & Systems Modeling, 4(3), 258. https://doi.org/10.1007/s10270-005-0084-3

Chicago Style (17th ed.) Citation

Evans, Neil, and Helen Treharne. "Investigating a File Transfer Protocol Using CSP and B." Software & Systems Modeling 4, no. 3 (2005): 258. https://doi.org/10.1007/s10270-005-0084-3.

MLA (9th ed.) Citation

Evans, Neil, and Helen Treharne. "Investigating a File Transfer Protocol Using CSP and B." Software & Systems Modeling, vol. 4, no. 3, 2005, p. 258, https://doi.org/10.1007/s10270-005-0084-3.