Abstract State Machines 2003. Advances in Theory and Practice door Egon Boerger & Angelo Gargantini