Detecting semantic violations of lock-free data structures through C++ contracts | Publicación