M. Korovina, “Fixed Points on Abstract Structures without the Equality Test”, BRICS, bd. 9, nr. 26, jun. 2002.