@article{PS-TCS,
 author = {Dana Pardubská and Ivana Štefáneková},
 journal = {Theoretical Computer Science},
 pages = {111 - 113},
 title = {Nondeterministic multicounter machines and complementation},
 volume = {67},
 year = {1989}
}