u John Barnes, High Integrity Software: The SPARK Approach to Safety and
Security (Addison Wesley, 2003).
u Matt Bishop, Chapter 29, “Program Security,” Computer Security:
Art and Science (Addison-Wesley Professional, 2003).