Fundamental proof methods in computer science a computer-based approach - Arkoudas, Konstantine; Musser, David R. (MIT Press, 2017)