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