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