@techreport{2009-Haack-TypebasedInitialization,
  author		= "{Haack}, Christian and {Poll}, Erik",
  title			= "{Type--based Object Immutability with Flexible Initialization}",
  number		= "ICIS--R09001",
  month			= "January",
  institution		= "Radboud University Nijmegen",
  year			= "2009",
  code			= "icis.ICIS-R09001",
  research_group	= "ds",
  class			= "Report"
}