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