@TechReport{Liblit:2006:TR-OSL,
  author =	 {Ben Liblit},
  title =	 {An Operational Semantics for {LogTM}},
  institution =	 {University of Wisconsin--Madison},
  year =	 2006,
  number =	 1571,
  month =	 aug,
  note =	 {Version 1.0}
}