Full threadyread·I hope it is at least as good as Spec# http://research.microsoft.com/en-us/projects/specsharp/View on HN