A note on one-way pushdown automata with weak-counters | lit.salon