Security management via Z and CSP - Simpson, A; Davies, J; Woodcock, J (Springer Series in Discrete Mathematics and Theoretical Computer Science, 1998)