Ana Paiva, Nikolai Tillmann, João C. P. Faria, and Raul F. A. M. Vidal 2005
In Abstract State Machines