Chapman and Hall
P.A. Fishwick
Computer Security

Baeten, J., van Beek, D. A., & Rooda, J. (2007). Process Algebra. In P. A. Fishwick (Ed.), CRC Handbook of Dynamic System Modeling (pp. 1–21). Chapman and Hall.