@rbirkby: Eh, that kind of work sounds like MSR TechReports to me, instead of products from Anders.

Especially, some work from Nikhil Swamy or Ben Livshits Smiley

http://research.microsoft.com/apps/pubs/default.aspx?id=168635
http://research.microsoft.com/apps/pubs/default.aspx?id=161885
http://research.microsoft.com/en-us/um/people/nswamy/supp/index.html