Books: On the decidability of iterated semidirect products with applications to complexity (sorted by popularity)