University of California, Berkeley: Paul Hilfinger's "FSA"
Study slides 8 to the end. These notes repeat some of the material from section 3.2 and provide additional practice in applying FSAs.
Click http://web.archive.org/web/20160428143438/http://inst.eecs.berkeley.edu/~cs164/sp11/lectures/lecture3.pdf link to open resource.