@misc{Broman:2007,
 author = "David Broman",
 title = "{Thesis Proposal - Type Safety of Equation-Based Object-Oriented Languages}",
 note = "Presented at the CUGS (National Graduate School in Computer Science) Annual Workshop",
 year = "2007",
 address = "Linköping, Sweden",
}