Network reliability : experiments with a symbolic algebra - Harms, Daryl Dean (CRC Press series on discrete mathematics and its applications, 1995)