"The Calculus of Computation: Decision Procedures with Applications to Verification" - читать интересную книгу автора (Aaron R. Bradley, Zohar Manna)