David Walker's notes from Oregon Summer School: http://www.cs.uoregon.edu/activities/summerschool/summer04/lectures/safelanguages.ppt
