[GAP] Regarding Cyril's Reply to My Rant

[Ed Falis]

On Fri, 09 Nov 2007 12:18:01 -0500, John McCormick <mccormick at cs.uni.edu>  
wrote:
...
> I recently published an Ada 2005 version of my CS2 level data
> structures textbook.  My publisher is very supportive of Ada.
>
> I recently received a note from another publisher asking about an Ada
> 2005 software engineering book they are interested in publishing.

And there's the new version of the Burns & Welling book, updated to Ada  
'05.

By the way, a very interesting take on why Ada and SPARK add value to  
product line development, with the main impacts being on reinforcing  
process rather than sheer technical issues, is in Jim Sutton's and Peter  
Middleton's "Lean Software Strategies".  This book won the '07 Shingo  
award, which is considered the equivalent of a "Nobel prize" in  
manufacturing.