Baráth, Áron, and Zoltán Porkoláb. 2015. “Automatic Checking of the Usage of the C++ Move Semantics”. Acta Cybernetica 22 (1), 5-20. https://doi.org/10.14232/actacyb.22.1.2015.2.