Jan Vitek Boris Bokowski Confined Types. 82-96 1999 OOPSLA http://doi.acm.org/10.1145/320384.320392 db/conf/oopsla/oopsla99.html#VitekB99