Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification - Hou, Zhe. (Cham Springer International Publishing AG, 2022)