APA Style

Leeuwen, G, G, J, H, A, J, V. (2010). The Modelling and Analysis of Security Protocols: the CSP Approach . : Pearson Education, Inc.

MLA Style

Leeuwen, G., Goos,, J., Hartmanis, And, J., Van. "The Modelling and Analysis of Security Protocols: the CSP Approach". : Pearson Education, Inc, 2010. Management.