Equivalence relation/Bibliography