Channel 9 Home
Search Channel 9
Niner since 2006
Singularity IV: Return of the UI
The language is called spec#, it is C# with contacts built into it.