Functional redundancy literature