Jeffery von Ronne Andreas Gampe David Niedzielski Kleanthis Psarris Safe bounds check annotations. 41-57 2009 21 Concurrency and Computation: Practice and Experience 1 http://dx.doi.org/10.1002/cpe.1341 db/journals/concurrency/concurrency21.html#RonneGNP09