A TimeStamp based Multi-version STM Protocol that satisfies Opacity and Multi-Version Permissiveness - Kumar, Priyanka; Peri, Sathya (CoRR, 2013)