@InProceedings{iJAM,
  author       = {Rok Strni{\v s}a},
  title        = {{Fixing the Java Module System, in Theory and in Practice}},
  booktitle    = {FTfJP '08: 10th Workshop on Formal Techniques for Java-like
                  Programs},
  location     = {Paphos, Cyprus},
  month        = jul # {~8,},
  year         = 2008,
}