Formal language theory and the geometry of 3-manifolds. M.R. Bridson; Robert H. Gilman — 1996 Commentarii mathematici Helvetici