Ruelle, David Statistical mechanics : rigorous results / Ruelle, David Dewey Class. No.: 531.12 R837S