Abstract State Machines, Alloy, B, VDM, and Z - Hutchison, David (Springer Berlin Heidelberg, 2012)