Erika Ábrahám Frank S. de Boer Willem P. de Roever Martin Steffen A Deductive Proof System for Multithreaded Java with Exceptions. 391-463 2008 82 Fundam. Inform. 4 http://iospress.metapress.com/content/g082364hgk01l773/ db/journals/fuin/fuin82.html#AbrahamBRS08