Control.SetFunctions
Implementation of set functions to encapsulate non-deterministic computations in a strategy independent manner
Detailed package documentation (available shortly after this version has been published)