R.F.: A high-level modular definition of the semantics of C#. Theoretical Computer Science 336(2-3 (2005)

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