Inference of deterministic one-counter languages. - Josef Peter Heger; Juergen Heinz; Willi Kunz; Peter Ochsenschläger; Juergen Watzke; Helmut Weber (Inf. Sci., 1984)