http://ecn.channel9.msdn.com/o9/ch9/0/2/0/5/8/4/ThisWeekC9Aug132009_ch9.mp4 This Week C9: Win7 API's, Spec# and Boogie, Expression 3 Starter Kits http://channel9.msdn.com/shows/This+Week+On+Channel+9/This-Week-C9-Win7-APIs-Spec-and-Boogie-Expression-3-Starter-Kits/ 2009-08-14 http://ecn.channel9.msdn.com/o9/ch9/0/2/0/5/8/4/ThisWeekC9Aug132009_large_ch9.png