M. Korovina, “Fixed Points on Abstract Structures without the Equality Test”, BRICS, vol. 9, no. 26, Jun. 2002.