Musa, J.D., A. Iannino, and K. Okumoto. Software Reliability: Measurement, Prediction, Application. McGraw Hill, 1987.
Leveson, N. Safeware, System Safety and Computers. Addison Wesley,
1995, ISBN 0-201-11972-2.
Wentworth, J. and R. Knaus. "Correctness Given Mathematical Specifications,"
in Producing Correct Software, Turner Fairbank Highway Research Center,
McLean, VA, 1999. (www.tfhrc.gov/advanc/softwar/soft2.htm),
accessed January 2001.
Wallace, D.R., L.M. Ippolito, and B. Cuthill. Reference Information for the Software Verification and Validation Process, National Institute of Standards and Technology Special Publication 500-234, March 29, 1996. (http://hissa.nist.gov/HHRFdata/Artifacts/ITLdoc/234/val-proc.html).
Verification, Validation, and Evaluation of Expert Systems, an FHWA
Handbook. Turner Fairbank Highway Safety Research Center, Federal Highway
Administration, U.S. Department of Transportation, McLean, VA. (www.tfhrc.gov/advanc/vve/cover.htm),
accessed July 27, 2000.
Landauer, C. and K.L. Bellman. "Constructed Complex Systems: Issues,
Architectures and Wrappings," pp. 233-38 in Proceedings EMCSR 96:
Thirteenth European Meeting on Cybernetics and Systems Research, Symposium
on Complex Systems Analysis and Design, 9-12 April 1996, Vienna, Austria.
This is a paper about wrapping by the inventors of the concept.
Press, W., et al. Numerical Recipes in C. Cambridge University Press, 1992.
Higham, N.J. Accuracy and Stability of Numerical Algorithms, Society of Industrial and Applied Mathematics, Philadelphia, 1996, ISBN 0-89871-355-2. (The SIAM Web site is www.siam.org.)
