Abstract State Machines, B And Z by