den Bussche, “Abstract State (2002)

by Andreas Blass, Yuri Gurevich, Jan Van
Venue:Machines and Computationally Complete Query Languages”, Information and Computation 174