Ashish6 reviewsFollowFollowJune 13, 2015A must read and a must have in ref library if you into Z or formal specifications.