Lea Wittie Jonathan Lockhart Type-safe concurrent resource sharing. 767-795 2011 23 Concurrency and Computation: Practice and Experience 8 http://dx.doi.org/10.1002/cpe.1642 db/journals/concurrency/concurrency23.html#WittieL11