1. (1987) ‘The role for entropy and information in software reliability,’ in (ed.), Software Reliability: Achievement and Assessment, Blackwell, Oxford, pp. 172–191.
2. Proposed structure for decomposition software reliability prediction model
3. (1993) ‘Software reliability,’ special issue of IEEE Transactions on Software Engineering, IEEE Computer Society, Washington, DC.
4. and (1986) ‘Input-domain-based models for estimating the correctness of process control programs,’ in and (eds), Reliability Theory, North Holland, Amsterdam, pp. 321–378.
5. A Bayesian estimation method for the failure rate of a possibly correct program