BibTex format
@inproceedings{Gardner:2012:10.1145/2103656.2103663,
author = {Gardner, P and Maffeis, S and Smith, G and Gardner, PA and Maffeis, S and Smith, G},
doi = {10.1145/2103656.2103663},
pages = {31--44},
publisher = {ACM},
title = {Towards a program logic for JavaScript},
url = {http://dx.doi.org/10.1145/2103656.2103663},
year = {2012}
}