Juraj Hromkovic Hierarchy of Reversal and Zerotesting Bounded Multicounter Machines. 312-321 1984 conf/mfcs/1984 MFCS db/conf/mfcs/mfcs84.html#Hromkovic84 http://dx.doi.org/10.1007/BFb0030312