http://www.cogs.susx.ac.uk/local/teach/dats/dats.html
Introduction to data structures, with Java code, by Peter M. Williams.
http://www.eecs.umich.edu/gasm/
A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.