Two questions on theoretical CS:<p>1) Anyone know of a good roadmap, breaking down what the major sections are and offering summaries? (Or if they cared to post their own here, that'd be great :) doesn't have to be super comprehensive.)<p>2) Can anyone recommend a good second book for readers who've already gone through Sipser? —or is there not even a natural follow up since it just depends on which specialization you want to go in from there?