Formal object-oriented specification using object-Z - Duke, Roger; Rose, Gordon (Cornerstones of computing, 2000)