James Sasitorn Robert Cartwright Component nextgen: a sound and expressive component framework for java. 153-170 2007 conf/oopsla/2007 OOPSLA http://doi.acm.org/10.1145/1297027.1297039 db/conf/oopsla/oopsla2007.html#SasitornC07