1. [n. d.]. ISO/IEC 9899:2011 – Information technology – Programming languages - C. International Organization for Standardization.
2. Andrew W. Appel. 1998. Modern Compiler Implementation: In ML (1st ed.). Cambridge University Press, USA. isbn:0521582741
3. Structure-Sensitive Points-To Analysis for C and C++
4. Kevin Bierhoff, Nels E Beckman, and Jonathan Aldrich. 2009. Practical API protocol checking with access permissions. In ECOOP 2009–Object-Oriented Programming: 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings 23. 195–219.