C# Precisely - Sestoft (IEEE, 2003)