Abstract State Machines - Theory and ApplicationsYuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele · First published 2003Open the Tome
