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