Software reliability handbook - Rook, Paul (Elsevier, 1990)