High Integrity Ada. The SPARK Approach (1997)

by J Barnes