High integrity software the Spark approach to safety and security - Barnes, J. G. P. 1937- (Addison-Wesley, 2003)
Includes bibliographical references (p. 421-424) and index