@incollection(giry1982categorical,
 author       = {Michele Giry},
 year         = {1982},
 title        = {A categorical approach to probability theory},
 booktitle    = {Categorical aspects of topology and analysis},
 publisher    = {Springer},
 pages        = {68--85},
 doi          = {10.1007/BFb0092872},
)
@book(hennessy1990semantics,
 author       = {M Hennessy},
 year         = {1990},
 title        = {The semantics of programming languages: an elementary introduction using structural operational semantics},
 publisher    = {John Wiley \& Sons},
)
@article(hoare,
 author       = {C. A. R. Hoare},
 year         = {1969},
 title        = {An axiomatic basis for computer programming},
 journal      = {Comm. {ACM}},
 volume       = {12},
 pages        = {576--580},
 doi          = {10.1145/363235.363259},
)
@article(holevo,
 author       = {Alexander S. Holevo},
 year         = {1973},
 title        = {Bounds for the quantity of information transmitted by a quantum communication channel},
 journal      = {Problems of Information Transmission},
 volume       = {9},
 pages        = {177Ð--183},
)
@article(ladyman08,
 author       = {J. Ladyman and S. Presnell and A. J. Short},
 year         = {2008},
 title        = {The use of the information-theoretic entropy in thermodynamics},
 journal      = {Stud. Hist. Phil. Mod. Phys.},
 volume       = {39},
 pages        = {315--324},
 doi          = {10.1016/j.shpsb.2007.11.004},
)
@article(ladyman07,
 author       = {J. Ladyman and S. Presnell and A. J. Short and B. Groisman},
 year         = {2007},
 title        = {The connection between logical and thermodynamic irreversibility},
 journal      = {Stud. Hist. Phil. Mod. Phys.},
 volume       = {38},
 pages        = {58--79},
 doi          = {10.1016/j.shpsb.2006.03.007},
)
@article(ladyman13,
 author       = {J. Ladyman and K. Robertson},
 year         = {2013},
 title        = {Landauer defended: reply to {N}orton},
 journal      = {Stud. Hist. Phil. Mod. Phys.},
 volume       = {44},
 pages        = {263--271},
 doi          = {10.1016/j.shpsb.2013.02.005},
)
@article(landauer,
 author       = {R. Landauer},
 year         = {2061},
 title        = {Irreversibility and heat generation in the computing process},
 journal      = {{IBM} Journ. of R\& D},
 volume       = {5},
 pages        = {183--191},
 doi          = {10.1147/rd.53.0183},
)
@article(leffrex2,
 author       = {H. Leff and A. Rex},
 year         = {1994},
 title        = {Entropy of measurement and erasure: {S}zilard's membrane revisited},
 journal      = {Am. Journ. Phys.},
 volume       = {63},
 pages        = {994--1000},
 doi          = {10.1119/1.17749},
)
@book(leffrex,
 author       = {H. Leff and A. Rex},
 year         = {2003},
 title        = {Maxwell's Demon 2},
 publisher    = {IOP},
)
@inproceedings(toffoli,
 author       = {L.B. Levitin and T. Toffoli},
 year         = {2006},
 title        = {Thermodynamic Cost of Reversible Computing},
 booktitle    = {Information Theory, 2006 IEEE International Symposium on},
 pages        = {2082--2084},
 doi          = {10.1109/ISIT.2006.261917},
)
@article(lloyd,
 author       = {S. Lloyd},
 year         = {1997},
 title        = {Quantum mechanical {M}axwell's demon},
 journal      = {Phys. Rev. A},
 volume       = {56},
 pages        = {3374--3382},
 doi          = {10.1103/PhysRevA.56.3374},
)
@article(maroney05,
 author       = {O. Maroney},
 year         = {2005},
 title        = {The (absense of a) relationship between thermodynamic and logical irreversibility},
 journal      = {Stud. Hist. Phil. Mod. Phys.},
 volume       = {36},
 pages        = {355Ð--374},
 doi          = {10.1016/j.shpsb.2004.11.006},
)
@book(maxwell,
 author       = {J. C. Maxwell},
 year         = {1871},
 title        = {Theory of Heat},
 publisher    = {Longman, Green, and co. London},
)
@article(norton11,
 author       = {J. Norton},
 year         = {2011},
 title        = {Waiting for {L}andauer},
 journal      = {Stud. Hist. Phil. Mod. Phys.},
 volume       = {42},
 pages        = {184--198},
 doi          = {10.1016/j.shpsb.2011.05.002},
)
@book(plotkin1981structural,
 author       = {G. D. Plotkin},
 year         = {1981},
 title        = {A structural approach to operational semantics},
 publisher    = {DAIMI Aarhus University},
)
@article(szilard,
 author       = {L. Szilard},
 year         = {1925},
 title        = {On the decrease of entropy in a themodynamic system by the intervention of intelligent beings},
 journal      = {Z. fur Physik},
 volume       = {32},
 pages        = {753--788},
 doi          = {10.1007/BF01331713},
)
@article(vlatko,
 author       = {V. Vedral},
 year         = {2000},
 title        = {Landauer's erasure, error correction, and entanglement},
 journal      = {Proc. R. Soc. Lond. A},
 volume       = {456},
 pages        = {969--984},
 doi          = {10.1098/rspa.2000.0545},
)