Chris Martin, Chris Hankin: Finding fixed points in finite lattices. FPCA 1987: 426-445