High-Level Nondeterministic Abstractions In C++.pdf [Free Download!]