Characterization of single-parameter DSIC mechanisms (Myerson's Lemma).
Full course playlist:    • Algorithmic Game Theory (Stanford CS3...  
Book: https://www.amazon.com/dp/131662479X
Lecture notes: http://timroughgarden.org/f13/l/l3.pdf