Ábrahám-Mumm, Boer, Roever, Steffen, 2002. Verification for Java's Reentrant Multithreading Concept, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/3-540-45931-6_2