1. Object identity as a query language primitive
2. Leo Bachmair Nachum Dershowitz and David A. Plaisted. Completion without failure 1989. Leo Bachmair Nachum Dershowitz and David A. Plaisted. Completion without failure 1989.
3. Michael Barr and Charles Wells editors. Category theory for computing science 2nd ed. 1995. Michael Barr and Charles Wells editors. Category theory for computing science 2nd ed. 1995.