Abstract State Machines - Theory and Applications by Martin Odersky & Yuri Gurevich