@techreport{2009-Vermolen-Hooman,
  author		= "{Vermolen}, Sander D. and {Hooman}, Jozef and {Larsen}, Peter Gorm",
  title			= "{Proving Consistency of VDM models using HOL}",
  number		= "ICIS--R09006",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  year			= "2009",
  research_group	= "mbsd",
  class			= "Report"
}