C# Precisely - Sestoft, Peter (MIT Press, 2012)