A Concrete Syntax Derived From the Abstract State Machine Metamodel. - Patrizia Scandurra; Angelo Gargantini; Claudia Genovese; Tiziana Genovese; Elvinia Riccobene (Abstract State Machines, 2005)