Holger Petersen Simulations by Time-Bounded Counter Machines. 410-418 2009 Developments in Language Theory http://dx.doi.org/10.1007/978-3-642-02737-6_33 conf/dlt/2009 db/conf/dlt/dlt2009.html#Petersen09