Bayesian approach to quality modellingStephen J. EstropMichael M. Kayeet al.1988Quality assurance London
Use of software engineering, including the Z notation, in the development of CICSC.J. NixB.P. Collins1988Quality assurance London