Formal specification using Z /
Lightfoot, David.
Basingstoke : Macmillan Education,
1991.