@techreport{BromanLicThesis:2007,
  author = "David Broman",
  title = "{Safety, Security, and Semantic Aspects of Equation-Based Object-Oriented Languages and Environments}",
  type = "{Licentiate thesis. Thesis No 1337. Department of Computer and Information Science, Linköping University}",
  month = dec,
  year = "2007",
}