References about first-order terms as a lattice

I suspected that first-order terms formed a lattice under unification and generalization, but it's nice to have some references in the literature to confirm it.  Following those references gives additional insights in the area.