TY  - RPRT
TI  - Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks
AU  - John Lasseter
AU  - John Cipriano
PY  - 2013
UR  - https://arxiv.org/abs/1301.4258
ID  - 1301.4258
ER  -