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

The authors correct several typographical errors, and misinterpretations in their abovementioned paper (see ibid., vol.SE-12, no.1, p.3-11, Jan. 1986). >