"The calculus of computation: Decision procedures with applications to verification" - читать интересную книгу автора (Bradley A., Manna Z.)