TY  - RPRT
TI  - Subclassing errors, OOP, and practically checkable rules to prevent them
AU  - Oleg Kiselyov
PY  - 2003
UR  - https://arxiv.org/abs/cs/0301032
ID  - cs/0301032
ER  -