@String{acm      = {ACM Press}}
@String{proc     = {Proceedings of }}
@String{sigplan  = {ACM SIGPLAN Notices}}

@Misc{ljam,
  author       = {Rok Strni{\v s}a},
  title        = {{Lightweight Java Module System (LJAM)}},
  howpublished = {\url{http://rok.strnisa.com/ljam/}},
  month        = mar,
  year         = 2007,
}

@Misc{iJAM,
  author       = {Rok Strni{\v s}a},
  title        = {{Improved Java Module System (iJAM)}},
  howpublished = {\url{http://rok.strnisa.com/iJAM/}},
  month        = nov,
  year         = 2007,
}

@Manual{java,
  author       = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha},
  organization = {{Sun Microsystems, Inc.}},
  title        = {{The Java\texttrademark{} Language Specification}},
  edition      = {{Third}},
  month        = may,
  year         = 2005,
}

@InProceedings{fj,
  author    = {Atsushi Igarashi and Benjamin C. Pierce and Philip Wadler},
  title     = {{Featherweight Java: A Minimal Core Calculus for Java and GJ}},
  pages     = {132--146},
  crossref  = {oopsla99},
}

@Misc{lfj,
  author       = {Benjamin Delaware and William R. Cook and Don Batory},
  title        = {{A Machine-Checked Model of Safe Composition}},
  howpublished = {\url{http://www.cs.utexas.edu/~bendy/featurejava.php}},
  month        = oct,
  year         = 2008,
}

@Misc{isabelle,
  title	       = {{Isabelle}},
  howpublished = {\url{http://isabelle.in.tum.de/}},
}

@TechReport{mj-matt,
  author       = {Gavin Bierman and Matthew J. Parkinson and Andrew Pitts},
  title        = {{MJ: An Imperative Core Calculus for Java and
		  Java with Effects}},
  institution  = {Computer Laboratory, University of Cambridge},
  month        = apr,
  year         = 2003,
  number       = 563,
}

@InProceedings{sl,
  author       = {John C. Reynolds},
  title        = {{Separation Logic: A Logic for Shared Mutable Data
                  Structures}},
  pages        = {55--74},
  crossref     = {lics02},
}

@InProceedings{mixins,
  author    = {Gilad Bracha and William R. Cook},
  title     = {{Mixin-based Inheritance}},
  pages     = {303--311},
  crossref  = {oopsla90},
}

@InProceedings{ott,
  title        = {{Ott: Effective Tool Support for the Working Semanticist}},
  author       = {Peter Sewell and Francesco {Zappa Nardelli} and Scott Owens
                  and Gilles Peskine and Thomas Ridge and Susmit Sarkar and Rok
                  Strni{\v s}a},
  pages        = {1--12},
  crossref     = {icfp07},
}

@Misc{jsr277,
  author       = {{Sun Microsystems, Inc.}},
  title        = {{JSR-277: Java\texttrademark{} Module System}},
  howpublished = {\url{http://jcp.org/en/jsr/detail?id=277}},
  month        = oct,
  year         = 2006,
  note         = {Early Draft.},
}

@Proceedings{oopsla99,
  booktitle = proc # {OOPSLA},
  publisher = acm,
  series    = sigplan,
  volume    = {34(10)},
  year      = 1999,
  month     = oct,
}

@Proceedings{lics02,
  booktitle    = proc # {LICS},
  publisher    = {IEEE Computer Society},
  year         = 2002,
  month        = jul,
}

@Proceedings{oopsla90,
  booktitle = proc # {OOPSLA},
  publisher = acm,
  series    = sigplan,
  volume    = {25(10)},
  year      = 1990,
  month     = oct,
}

@Proceedings{icfp07,
  booktitle    = proc # {ICFP},
  publisher    = acm,
  series       = sigplan,
  volume       = {42(9)},
  year         = 2007,
  month        = oct,
}

