Static analysis of event-driven Node.js JavaScript applications
The Essence of JavaScript