Asynchronous Multi-Agent ASMs An Introduction Egon Börger Dipartimento di Informatica, Universita di Pisa boerger.
Refinement Method for Abstract State Machines Egon Börger (slightly adapted by Fabio Martinelli for LC 2005) Dipartimento di Informatica, Universita di.
NIDays2009 OOD_Design Patterns