@TechReport{ AgrawalLeSu08,
author = {Kunal Agrawal and I-Ting Angelina Lee and Jim Sukha},
institution = {Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory},
month = {June},
number = {MIT-CSAIL-TR-2008-038},
title = {Safe Open-Nested Transactions Through Ownership},
year = {2008}
}