Andreas Blass Abstract State Machines and Pure Mathematics. 9-21 http://link.springer.de/link/service/series/0558/bibs/1912/19120009.htm 2000 conf/asm/2000 Abstract State Machines db/conf/asm/asm2000.html#Blass00