TY  - BOOK
AU  - Barnes, John
TI  - High integrity Ada:the SPARK approach
SN  - 0201175177
PY  - 1997///
CY  - Harlow
PB  - Addison-Wesley
KW  - Ada (Computer program language)
N1  - include index
ER  -