1. Program Production by Successive Transformations;Griffiths,1976
2. Designing Complex Computational Systems in Physics Experiments: A Scientific Approach Towards a Model Based Method;Alderighi,1986
3. Software Reliability Principles and Practices;Meyers,1976
4. Software Reliability Guidebook;Glass,1979
5. Alderighi, M., Annunziata, M., Binaghi, E., Ciocca, G., Lisca, L., Pavesi, L., and Sechi, G.R., Reliable Computational Systems for Image Processing in the Shining Project, submitted to publication.