https://bookem.ir/books/2969898-Constraint-Based-Verification