Algorithmic compression of surface automorphisms. A.J., Long, D.D. Casson — 1985 Inventiones mathematicae