"Portable Resource Control in Java: The J-SEAL2 Approach."

Walter Binder, Jarle Hulaas, Alex Villazón (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics