Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings Börger, Egon Heftet / 2008 / Engelsk
