Describir: Contributions to lattice theory /