Topics in Theoretical Computer Science - Mousavi (Springer International Publishing, 2017)