@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}
}