The Family of One-Counter Languages is Closed Under Quotient. - Michel Latteux; B. Leguy; B. Ratoandromanana (Acta Informatica, 1985)