Introdução á teoria da computação - Sipser, Michael