A Systematic Construct ion of Abstract Domains