@techreport{tasiran:compositional:msrtr:2008,
  author	= {Tasiran, Serdar},
  title		= {A Compositional Method for Verifying Software Transactional Memory Implementations},
  pdf		= {http://research.microsoft.com/pubs/70570/tr-2008-56.pdf},
  institution	= {Microsoft Research},
  number	= {MSR-TR-2008-56},
  month		= {apr},
  year		= {2008},
}