Richard Cole Thomas Tilley Conceptual Analysis of Software Structure. 726-733 2003 conf/seke/2003 SEKE db/conf/seke/seke2003.html#ColeT03