@techreport{Liblit:2006:TR-OSL,
  author	= {Liblit, Ben},
  title		= {An Operational Semantics for {LogTM},
  institution	= {University of Wisconsin--Madison},
  year		= {2006},
  number	= {1571},
  month		= {aug},
  note		= {Version 1.0},
  pdf		= {http://www.cs.wisc.edu/techreports/2006/TR1571.pdf},
}