Nguyen, H., 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. -204. doi:10.1007/978-3-319-05032-4_15

Nguyen, Hoang, 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): -204.

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