Abstract state machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Borger, Egon (lecture notes in computer science,, 2008)