Theory of computation - Kulkarni, Vivek (Oxford higher education, 2013)