@inproceedings{WasserrabNST-OOPSLA06,
 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++}},
 booktitle = {OOPSLA '06: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming languages, systems, and applications},
 year = {2006},
 pages = {345--362},
 location = {Portland, Oregon, USA},
 publisher = {ACM Press},
 }
