dotnet implementation of notational velocity