Abstract state machines, B and Z : First International Conference, ABZ 2008, London, UK, september 16-18, 2008, proceedings - Borger, Egon 1946-; Butler, Michael 1967-; Bowen, Jonathan Peter 1956-; Boca, Paul (Lecture notes in computer science, 2008)