James, P., James, P., Moller, F., Nguyen, H. N., Roggenbach, M., Schneider, S., . . . Williams, D. (2014). Verification of Scheme Plans Using CSP || B. Software Engineering and Formal Methods, 8368, pp. 189-204. doi:10.1007/978-3-319-05032-4_15

James, Phillip, Philip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider, Helen Treharne, Matthew Trumble, and David Williams. "Verification of Scheme Plans Using CSP || B." Software Engineering and Formal Methods 8368 (2014): 189-204.

James, Phillip, et al. "Verification of Scheme Plans Using CSP || B." Software Engineering and Formal Methods 8368 (2014): 189-204.