APA (7th ed.) Citation

Barnes, J. G. P. (2003). High integrity software: The Spark approach to safety and security. Addison-Wesley.

Chicago Style (17th ed.) Citation

Barnes, J. G. P. High Integrity Software: The Spark Approach to Safety and Security. London [u.a.]: Addison-Wesley, 2003.

MLA (9th ed.) Citation

Barnes, J. G. P. High Integrity Software: The Spark Approach to Safety and Security. Addison-Wesley, 2003.