Formal specification using Z - Lightfoot, David, 1951- (Macmillan computer science series, 1991)