Generators and Relations for Discrete Groups