Design of dependable Ada software /
Motet, G.
Marpinard, A.
Geoffroy, J. C.
London : Prentice Hall,
1996.
Includes bibliographical references and index.
Computer software
Ada (Computer program language)