@techreport{TR-90-349,
 author = {Ivana Štefáneková},
 institution = {Fachbereich Informatik, Universitat Dortmund},
 number = {349},
 title = {Some properties of zerotesting bounded one-way 
multicounter machines},
 year = {1996}
}