Introduction to Theoretical Computer Sci by Ma Xiwen & X.W. Ma