Abstract State Machines, B and Z - Börger, Egon (Springer Berlin Heidelberg, 2008)