Constraint-Based Verification - Yuan, Jun (Springer Science+Business Media, Inc., 2006)