Small Dynamic Complexity Classes - Thomas Zeume (Springer, 2017)