Software reliability (Pergamon Infotech, 1986)