1. Coudert, O., Madre, J.C.: Metaprime: An Interactive Fault-Tree Analyzer. IEEE Trans. Reliability 43(1) (1994) 121–127
2. González, L.: A New Method for Ordering Binary States Probabilities in Reliability and Risk Analysis. Lect. Notes Comput. Sc. 2329(1) (2002) 137–146
3. González, L., Galván, B., García, D.: Sobre el Análisis Computacional de Funciones Booleanas Estocásticas de muchas variables. In: González, L., Sendra, J.R. (eds.): Proc. Primer Encuentro de Álgebra Computacional y Aplicaciones (EACA-95). Santander (1995) 45–55
4. González, L., García, D., Galván, B.J.: An Intrinsic Order Criterion to Evaluate Large, Complex Fault Trees. IEEE Trans. Reliability, to appear.
5. Page, L.B., Perry, J.E.: Direct Evaluation Algorithms for Fault-Tree Probabilities. Computers in Chemical Engineering. 15(3) (1991) 157–169