Join
The University of British Columbia: SPD3x: Systematic Program Design - Part 3: Abstraction, Search and Graphs
http://www.youtube.com/watch?v=AyoZ_Q6sNRc