@inproceedings{HK00, author = "D. Harel and O. Kupferman", title = "On the Behavioral Inheritance of State-Based Objects booktitle = "34th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems", publisher = "IEEE Computer Society Press", year = "2000" }