High-Level Nondeterministic Abstractions In C++ - Library.life