@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00004607, author = {Todo, Synge}, month = {Mar}, title = {Solid-Fluid Phase Transitions and Critical Phenomena of Hard-Core Systems}, year = {1996} }