+1 for Dasgupta (DPV). It is used at GT and Berkeley in CS.

http://algorithmics.lsi.upc.edu/docs/Dasgupta-Papadimitriou-...