@misc{indiciaeead4fe6efa7a,
  title = {Java Subtyping as an Infinite Self-Similar Partial Graph Product},
  author = {Moez A. AbdelGawad},
  year = {2018},
  url = {https://arxiv.org/abs/1805.06893},
  note = {Source identifier: 1805.06893}
}