Alessandro Coglio Simple verification technique for complex Java bytecode subroutines. 647-670 2004 16 Concurrency - Practice and Experience 7 http://dx.doi.org/10.1002/cpe.798 db/journals/concurrency/concurrency16.html#Coglio04