Poincaré's proof of Clausius' inequality
Philosophia Scientiae, Poincaré. Actes du Congrès International Henri Poincaré. Nancy 1994, Tome 1 (1996) no. 4, pp. 135-150. 
@article{PHSC_1996__1_4_135_0,
     author = {Monl\'eon Pradas, Manuel and Gomez Ribelles, Jos\'e Luis},
     title = {Poincar\'e's proof of {Clausius'} inequality},
     journal = {Philosophia Scientiae},
     pages = {135--150},
     publisher = {\'Editions Kim\'e},
     volume = {1},
     number = {4},
     year = {1996},
     language = {en},
     url = {http://archive.numdam.org/item/PHSC_1996__1_4_135_0/}
}
TY  - JOUR
AU  - Monléon Pradas, Manuel
AU  - Gomez Ribelles, José Luis
TI  - Poincaré's proof of Clausius' inequality
JO  - Philosophia Scientiae
PY  - 1996
SP  - 135
EP  - 150
VL  - 1
IS  - 4
PB  - Éditions Kimé
UR  - http://archive.numdam.org/item/PHSC_1996__1_4_135_0/
LA  - en
ID  - PHSC_1996__1_4_135_0
ER  - 
%0 Journal Article
%A Monléon Pradas, Manuel
%A Gomez Ribelles, José Luis
%T Poincaré's proof of Clausius' inequality
%J Philosophia Scientiae
%D 1996
%P 135-150
%V 1
%N 4
%I Éditions Kimé
%U http://archive.numdam.org/item/PHSC_1996__1_4_135_0/
%G en
%F PHSC_1996__1_4_135_0
Monléon Pradas, Manuel; Gomez Ribelles, José Luis. Poincaré's proof of Clausius' inequality. Philosophia Scientiae, Poincaré. Actes du Congrès International Henri Poincaré. Nancy 1994, Tome 1 (1996) no. 4, pp. 135-150. http://archive.numdam.org/item/PHSC_1996__1_4_135_0/

Bertrand, J. 1887 Thermodynamique, Paris : Gauthier-Villars. | JFM

Bressan, A. 1981 On physical possibility, Italian Studies in the Philosophy of Science, (M. L. dalla Chiara ed.), Dordrecht/Boston : D.Reidel, 197-210.

Brouzeng, A. 1987 Duhem. Science et Providence, Paris : Belin.

Clausius, R. 1850 Ueber die bewegende Kraft der Wärme und die Gesetze, welche sich daraus für die Wärmelehre selbst ableiten lassen, Annalen d. Phys. u. Chemie (Poggendorff) LXXIX, 368; 500 (1850); Reprinted in [Clausius 1864, Abhandlung I, 16-78].

Clausius, R. 1854 Ueber eine veränderte Form des zweiten Hauptsatzes der mechanischen Wärmetheorie, Annalen d. Phys. u. Chemie (Poggendorff) XCIII, 481 (1854, dec); Reprinted in [Clausius 1864, Abh. IV, 127-154].

Clausius, R. 1856 Ueber die Anwendung der mechanischen Wärmetheorie auf die Dampfmaschine, Annalen d. Phys. u. Chemie (Poggendorff) XCVII, 441; 513 (1856); Reprinted in [Clausius 1864, Abh. V, 155-241].

Clausius, R. 1864 Abhandlungen über die mechanische Wärmetheorie, erste Abtheilung, Braunschweig : Fr. Vieweg und Sohn.

Lippmann, G. 1889 Cours de Thermodynamique, Paris : Georges Carré.

Monleon Pradas, M., Gomez Ribelles, J.L. 1997 The debated integral of Clausius. A historico-critical account", to be published.

Neumann, C. 1891 Bemerkungen zur mechanischen Theorie der Wärme, Berichte d. math. phys. Cl., königl. sächs. Ges. d. Wiss. (,,Leipziger Berichte"), 2.März 1891, S.75-156. | JFM

Planck, M. 1897 Vorlesungen über Thermodynamik, 1, Leipzig : Aufl. Veit & Co. | JFM

Poincaré, H. 1892 Thermodynamique (leçons professées pendant le premier semestre 1888-1889), Paris : G. Carré. | JFM

Thomson, W. 1853 On the restoration of mechanical energy from an unequally heated space, Phil. Mag. vol. V, feb. 1853; Reprinted in : W. Thomson, Mathematical and Physical Papers by Sir W. Thomson, vol. 1, Cambridge : Cambridge Univerity Press, 1882, 554-558.