Correction to 'Certifying the reliability of software' (Jan. 1986 3-11) | Synapse