C# precisely - Sestoft, Peter (MIT Press, 2004)