@inproceedings{Klebanov04,
  author    = {Vladimir Klebanov},
  title     = {A {JMM}-Faithful Non-interference Calculus for {J}ava.},
  booktitle = {Scientific Engineering of Distributed Java Applications,
               4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg},
  year      = {2004},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3409},  
  pages     = {101-111},
  ee        = {http://www.springerlink.com/link.asp?id=6fq6uyda8brf7qae},
}