Egon Börger Abstract State Machines at the Cusp of the Millenium. 1-8 http://link.springer.de/link/service/series/0558/bibs/1912/19120001.htm 2000 conf/asm/2000 Abstract State Machines db/conf/asm/asm2000.html#Borger00