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