Fault-tolerant search algorithms reliable computation with unreliable information - Cicalese, Ferdinando (Springer, 2013)