Korovina, M. “Fixed Points on Abstract Structures Without the Equality Test”. BRICS Report Series, vol. 9, no. 26, June 2002, doi:10.7146/brics.v9i26.21742.