Penulis: John W. McCormick

Jerome Hugues & John W. McCormick: Building Parallel, Embedded, and Real-Time Applications with Ada

Peter C. Chapin & John W. McCormick: Building High Integrity Applications with SPARK

Peter C. Chapin & John W. McCormick: Building High Integrity Applications with SPARK