ex1
Basic Category Theory
Heitzig Reinhold 2002 Counting Finite Lattices
A Survey of Residuated Lattices
Generating ALl Modular Lattices Of A Given Size