1. Mocus, a computer program to obtain minimal sets from fault trees;Fusell,1974
2. Computerized fault tree analysis: TREEL and MICSUP;Pande,1975
3. The Boolean algebra with restricted variables as a tool for fault tree modularization;Caldarola;KfK 3190 EUR 7056e,1981
4. Modules of coherent binary systems;Birnbaum;Siam J.,1965
5. Compound simple games III. On committees;Shapley;The RAND Corporation, RM-5438-PR,1967