Estimating Program Reliability. - Peter I. P. Boulton; M. A. R. Kittler (Comput. J., 1979)