1. Abadi, M., Cardelli, L.: A theory of objects. Springer (1996)
2. Lecture Notes in Computer Science;C. Anderson,2005
3. Bierman, G., Parkinson, M., Pitts, A.: MJ: An imperative core calculus for Java and Java with effects. Technical Report 563, University of Cambridge Computer Laboratory (2003)
4. Chugh, R., Herman, D., Jhala, R.: Dependent types for JavaScript. In: Proceedings of OOSLA (2012)
5. Crockford, D.: JavaScript: The good parts. O’Reilly (2008)