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