Fault-Tolerant Search Algorithms - Cicalese (Springer Berlin Heidelberg, 2013)