High - integrity software edited by Chris Bennett. - Sennett, C. T. (London Pitman, 1989)
Keywords: Computer software -- Reliability