Good examples for how to write well in TCS
In the 'Great proof outline' category, these are my favorites:

"Undirected Connectivity in Log-Space" by Omer Reingold.

"Geometry, Flows, and Graph-Partitioning Algorithms" by Sanjeev Arora, Satish Rao, and Umesh Vazirani.