Search Theory - Alpern (Springer New York, 2013)