@misc{indiciae37db733abf6c,
  title = {Towards an Accurate Mathematical Model of Generic Nominally-Typed OOP},
  author = {Moez A. AbdelGawad},
  year = {2016},
  url = {https://arxiv.org/abs/1610.05114},
  note = {Source identifier: 1610.05114}
}