Boolean difference techniques in fault tree analysis. - Michael G. Thomason; E. W. Page (Int. J. Parallel Program., 1976)