Xiao Jia, Wei Li, Viktor Vafeiadis: Proving Lock-Freedom Easily and Automatically. CPP 2015: 119-127