Statistical mechanics and the foundations of thermodynamics - Martin-Löf, Andreas (Springer, 1979)