Polycyclic groups . - Segal Daniel (1983)