Ensuring Software Reliability - Ann Marie Neufelder (Taylor and Francis, 1993)