@misc{BromanFritzson:2006, author = "David Broman and Peter Fritzson", title = "{Type Safety of Equation-Based Object-Oriented Modeling Languages}", note = "{PLDI '06: Poster session at the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation}", location = "Ottawa, Canada", year = "2006", }