A Loop Theorem for Duality Spaces and Fibred Ribbon Knots. C.McA. Gordon; A.J. Casson — 1983 Inventiones mathematicae
Algorithmic compression of surface automorphisms. A.J., Long, D.D. Casson — 1985 Inventiones mathematicae