About High Integrity Ada: The Spark Approach
High Integrity Ada: The Spark Approach- By John Barnes; Addison-Wesley, 1997, ISBN 0201175177. Author active in all stages of Ada development, on original Ada 83 design team, participant in revision process. President, Ada-Europe; Chairman, Ada UK. [Addison-Wesley]