Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca ((Lecture Notes in Computer Science))