- https://www.youtube.com/watch?v=jVyz3lWH2bA
- https://blog.acolyer.org/2017/09/19/to-type-or-not-to-type-quantifying-detectable-bugs-in-javascript/
- https://www.iiitd.edu.in/~jalote/papers/CommonBugs.pdf
- https://www.computer.org/csdl/proceedings/afips/1980/5088/00/50880697.pdf
- ftp://ftp.cs.kent.ac.uk/people/staff/phw/.old-1999/tmp/CPA-363-Pedersen.pdf
- http://www.inf.unibz.it/~calvanese/teaching/ip/lecture-notes/uni10/node2.html
- http://ocs.editorial.upv.es/index.php/HEAD/HEAD15/paper/viewFile/356/222