@InProceedings{Wasserrab:OOPSLA06-345,
  author =       "Daniel Wasserrab and Tobias Nipkow and Gregor Snelting and Frank Tip",
  title =        "An Operational Semantics and Type Safety Proof for Multiple Inheritance in {C++}",
  year =         "2006",
  pages =        "345--362",
  ee =           "http://doi.acm.org/10.1145/1167473.1167503",
  editor =       "Peri L. Tarr and William R. Cook",
  booktitle =    "Proceedings of the 21th Annual {ACM} {SIGPLAN}
                 Conference on Object-Oriented Programming, Systems,
                 Languages, and Applications, {OOPSLA} 2006, October
                 22--26, 2006, Portland, Oregon, {USA}",
  publisher =    "ACM",
  ISBN =         "1-59593-348-4",
}