Textbook that teaches students how to think about algorithms like an expert, without getting bogged down in formal proof.