@InProceedings{ftjp04,
  author = 	 {Alessandro Coglio},
  title = 	 {Checking Access to Protected Members
                  in the {Java} Virtual Machine},
  booktitle = 	 {Proc.\ 6th {ECOOP} Workshop on
                  Formal Techniques for {Java}-like Programs},
  year = 	 {2004},
  month = 	 {June}
}