Áron Baráth, Zoltán Porkoláb: Attribute-based Checking of C++ Move Semantics. SQAMIA 2014: 9-14