Blair, C., and A. E. Roth. "An Extension and Simple Proof of a Constrained Lattice Fix-Point Theorem." Algebra Universalis 9 (1979): 131–132.