Concepts and Logic of Classical Thermodynamics as a Theory of Heat Engines