A Guarded Fragment for Abstract State Machines.

Antje Nowack A Guarded Fragment for Abstract State Machines. 345-368 2005 14 Journal of Logic, Language and Information 3 http://dx.doi.org/10.1007/s10849-005-5790-2 db/journals/jolli/jolli14.html#Nowack05