Norbert Schirmer Analysing the Java package/access concepts in Isabelle/HOL. 689-706 2004 16 Concurrency - Practice and Experience 7 http://dx.doi.org/10.1002/cpe.800 db/journals/concurrency/concurrency16.html#Schirmer04