Abstraction Interpretation Class Taught by Cousot