Interesting article at http://msnbc.com/news/768401.asp I haven't read it all yet but there is a minor mention of Ada in the "First aid for faulty code:Correct by construction" sidebar. Britt