Áron Baráth and Z. Porkoláb, “Automatic checking of the usage of the C++ move semantics”, Acta Cybern, vol. 22, no. 1, pp. 5-20, Jan. 2015.