Daqing Hou H. James Hoover Piotr Rudnicki Specifying framework constraints with FCL. 96-110 2004 conf/cascon/2004 CASCON http://doi.acm.org/10.1145/1034914.1034922 db/conf/cascon/cascon2004.html#HouHR04