Tool support for the production of high integrity software /
Sennett, C. T.
Malvern : Royal Signals and Radar Establishment,
1989.
Computer software