Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity - Zeume, Thomas. (Theoretical Computer Science and General Issues, 2017)