Statically Checkable Design Level Traits. - Joseph Gil; Y. Eckel (ASE, 1998)