Polycyclic Groups by Daniel Segal