Computability and Complexity. 1st ed. 2017 - Day, Adam (Springer International Publishing, 2020)