Abstract State Machines 2003, Advances in Theory and PracticeE. Brger, E. Riccobene, A. Gargantini₹4,257
