I am trying to define the LUB and GLB on a product of lattices that are partially ordered lexicographically.

Is there any papers or help that I could read up on? I would particularly like proofs on those operators.