Wolfgang Reisig On Gurevich's theorem on sequential algorithms. 273-305 2003 39 Acta Inf. 4 http://dx.doi.org/10.1007/s00236-002-0106-3 db/journals/acta/acta39.html#Reisig03