Formal object-oriented specification using object-Z - Duke, Roger. (Macmillan, 2000)