@techreport{2008-Huisman-FormalTechniquesJavaLikePograms,
  author		= "{Huisman}, Marieke and {Poll}, Erik",
  title			= "{Formal Techniques for Java--like Pograms (FTfJP08)}",
  number		= "ICIS--R08013",
  month			= "June",
  institution		= "Radboud University Nijmegen",
  year			= "2008",
  code			= "icis.ICIS-R08013",
  research_group	= "ds",
  class			= "Report"
}