Z : an introduction to formal methods /
Diller, Antoni.
Chichester : Wiley,
1994.