Title: Building High Integrity Applications with SPARK
Subjects: Programming languages (electronic computers), Fault-tolerant computing, SPARK (Computer program language)