Probabilistic Safety of structures Spec. Conf., Sept. 8-9, 1980. Final report. (CTICM, 1981)