Below you will find John Barnes booklet that shows how the study of Ada in general and Ada 2005 in particular, is helpful to everyone designing safe and secure software regardless of the programming language in which the software is eventually written.
Safe and Secure Software - An invitation to Ada 2005
