A high-level modular definition of the semantics of C#. Theoretical Computer Science (2004)

by E Börger, G Fruja, V Gervasi, R Stärk