Generators and relations for discrete groups