Foundations of statistical mechanics a deductive treatment - Penrose, Oliver (Dover, 2005)