High-integrity software /
Sennett, C. T.
London Pitman
1989
Includes index
Computer programs