@phdthesis{Firth,
  type        = {Ph.D. thesis},
  author      = {David Firth},
  school      = {University of Warwick},
  title       = {An Algorithm to Find Normal Subgroups of a Finitely Presented Group, up to a Given Finite Index},
  year        = {2005},
}
