E. Borger

• Abstract state machines 2003
• CSL '89
• Csl 87