Notes on Landauer's principle, reversible computation, Maxwell's Demon (2003) [pdf] (cs.princeton.edu)