Chapman and Hall
P.A. Fishwick
Computer Security

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