J. Jonsson, “Hard Squares with Negative Activity and Rhombus Tilings of the Plane”, Electron. J. Combin., vol. 13, no. 1, p. R67, Aug. 2006.