Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Börger, Egon; Butler, Michael; Bowen, Jonathan P.; Boca, Paul (Springer Berlin Heidelberg, 2008)