High - integrity software edited by Chris Bennett. - Sennett, C. T. (Software science and engineering series, 1989)