Abstract State Machines 2004. Advances In Theory And Practice by W> Zimmermann