Static Analysis by Patrick Cousot