Formal specification using Z : a modelling approach /
Bottaci, Leonardo.
Jones, John.
London : International Thomson Publishing,
1995.