Harel's Algorithmics is a must read. The coverage is really broad and comprehensive. For some reason, this book is not that well-known and hence deserves all the publicity/recommendation it can get.