@inproceedings{S-MFCS,
author = {Ivana Štefáneková},
booktitle = {Proceedings of Mathematical Foundations of Computer Science},
pages = {195 - 201},
publisher = {Springer Verlag},
series = {Lecture Notes in Computer Science},
title = {Some properties of zerotesting bounded one-way
multicounter machines},
volume = {452},
year = {1990}
}