Walter Binder Jarle Hulaas Alex Villazón Portable Resource Control in Java: The J-SEAL2 Approach. 139-155 2001 OOPSLA db/conf/oopsla/oopsla2001.html#BinderHV01