Verifiable Object-Oriented Transactions. - Suad Alagic; Adnan Fazeli (Concurrent Objects and Beyond, 2014)