258 Chandrasekhar Boyapati (Massachusetts Institute of Technology), “SafeJava: a Unified Type System for
Safe Preprogramming” (PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, February
259 SPARKAda was designed “for high integrity applications in which many errors are impossible and
which has decades of proven results.” Available from: “SparkADA” [web page] (Bath, Somerset, UK: