A teoria da computação de Alan Turing. - Danilo Gustavo Bispo (2018)