Abstract State Machines 2004. Advances in Theory and PracticeWolf Zimmermann, Bernhard Thalheim₹5,498
