Poincaré's proof of Clausius' inequality Manuel Monléon Pradas; José Luis Gomez Ribelles — 1996 Philosophia Scientiae