Modeling and Reasoning about DOM Events. - Benjamin S. Lerner; Matthew J. Carroll; Dan P. Kimmel; Hannah Quay-de la Vallee; Shriram Krishnamurthi (WebApps, 2012)