Building High Integrity Applications with SPARK

Book by John W. McCormick and Peter C. Chapin