Boris Bokowski CoffeeStrainer - Statically Checking Structural Constraints on Java Programs. 380-381 http://link.springer.de/link/service/series/0558/bibs/1543/15430380.htm 1998 conf/ecoopw/1998 ECOOP Workshops db/conf/ecoopw/ecoopw98.html#Bokowski98