Это дело я тоже завалил, но зато я приобрел бесценный опыт (С)
Вот ведь е-мое, это все только в разработке, оказывается.
http://research.microsoft.com/specsharp/papers/krml135.pdf
