Control.AllValues
Libraries with operations to strongly encapsulate non-deterministic computations
Detailed package documentation (available shortly after this version has been published)