Deterministic pushdown automata can compress some normal sequences
scientific article; zbMATH DE number 7906377