High integrity Ada : the SPARK approach /
Barnes, J. G. P.(John Gilbert Presslie)
Praxis Critical Systems Limited.
Harlow : Addison-Wesley,
1997.
Bibliography: p361-362. - Includes index
One CD ROM in pocket attached to inside back cover
Ada (Computer program language)