What is the Classifying Space of the Discrete Heisenberg Group? Which paper/book contains a detailed proof? Thank you for your time.