Concise Guide to Computetation Theory - Maruoka (Ghalia Indonesia, 2011)