Add John W. McCormick Ada books

[jviotti]

I think this list should mention some of John W. McCormick's books, directly related to safety critical software:

• Building High Integrity Applications with SPARK
• Building Parallel, Embedded, and Real-Time Applications with Ada

[stanislaw]

Thanks @jviotti ! Closed via #28.