@misc{W2027657506,
  author = {Luca Cardelli and Peter Wegner},
  title = {On understanding types, data abstraction, and polymorphism},
  year = {1985},
  howpublished = {ACM Computing Surveys},
  doi = {https://doi.org/10.1145/6041.6042}
}