Lutz Voelkel On several kinds of space-bounded on-line multicounter automata. 465-473 1985 conf/fct/1985 FCT db/conf/fct/fct1985.html#Voelkel85