Developing safety systems : a guide using ADA - Pyle, Ian C. (New York : Prentice Hall, 1991)
Includes index.
Bibliography : p. 242-245.
Keywords: Ada (Computer program language); Computer security; Computer software -- -- Development; System safety; Computer software -- -- Reliability