"Lost in translation: formalizing proposed extensions to c#."

Gavin M. Bierman, Erik Meijer, Mads Torgersen (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics