[xiaomai]

For anyone else looking to take a course like that, Coursera has a course on htdp right now: https://class.coursera.org/programdesign-001/class