A combinatorial characterization of planar 2-complexes Jonathan L. Gross, Ronald H. Rosen (1981) Colloquium Mathematicae
An implementation of the Bestvina-Handel algorithm for surface homeomorphisms. Brinkmann, Peter (2000) Experimental Mathematics