[tuukkah]

Finally found this from last month, but I don't think people will understand in 20 minutes:

An Algebra for Program Designs http://research.microsoft.com/en-us/um/redmond/events/sssev2...

[pasbesoin]

For the PowerPoint avoidant (including myself):

http://docs.google.com/gview?url=http%3A%2F%2Fresearch.micro...