Davide Ciucci, Gianpiero Cattaneo: Posets and Lattices. Wiley Encyclopedia of Computer Science and Engineering 2008