@misc{guha2015essence,
  title={The Essence of JavaScript},
  author={Arjun Guha and Claudiu Saftoiu and Shriram Krishnamurthi},
  year={2015},
  eprint={1510.00925},
  archivePrefix={arXiv},
  primaryClass={cs.PL},
  url={https://arxiv.org/abs/1510.00925}
}