Snick snack CPSC 121: Models of Computation 2011 Winter Term 1 Proof (First Visit) Steve Wolfman, based on notes by Patrice Belleville, Meghan Allen.
