@book{19677,
	author = {Sims, Charles C},
	title = {Computation with finitely presented groups},
	publisher = {Cambridge Univ. Press},
	year = {1994},
	series = {Encyclopedia of mathematics and its applications},
	address = {U.K.}
}