@misc{indiciae59db21cc7afb,
  title = {Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks},
  author = {John Lasseter and John Cipriano},
  year = {2013},
  url = {https://arxiv.org/abs/1301.4258},
  note = {Source identifier: 1301.4258}
}