Abstract State Machines, B and Z | lit.salon