Probability, statistics, and decision for civil engineers - BENJAMIN, Jack R (McGraw-hill, 1970)