@misc{indiciae8c1a608a3358,
  title = {The Essence of JavaScript},
  author = {Arjun Guha and Claudiu Saftoiu and Shriram Krishnamurthi},
  year = {2015},
  doi = {10.1007/978-3-642-14107-2\_7},
  url = {https://arxiv.org/abs/1510.00925},
  note = {Source identifier: 1510.00925}
}