1. Adobe: Creating more secure SWF web applications,
http://www.adobe.com/devnet/flashplayer/articles/secure_swf_apps.html
2. OWASP: Example Vulnerabilities,
https://www.owasp.org/index.php/Category:OWASP_Flash_Security_Project#Example_Vulnerabilities
3. Adobe: Adobe Flash Platform,
http://www.adobe.com/flashplatform/
4. Siek, J.G., Taha, W.: Gradual Typing for Functional Languages. In: Scheme and Functional Programming Workshop (2006)
5. Rastogi, A., Chaudhuri, A., Hosmer, B.: The ins and outs of gradual type inference. In: POPL. ACM (2012)