[gtani]

here's some course materials

http://www.cse.chalmers.se/edu/course/afp/lectures.html

http://www.scs.stanford.edu/11au-cs240h/notes/

http://www.seas.upenn.edu/~cis194/lectures.html