Fix-points in complete lattices. Formalized Mathematics (1997)

by P Rudnicki, A Trybulec