G. Birkhoff, Lattice Theory. No. v. 25,pt. 2 in, 1967.

I. Bloch, H. Heijmans, and C. Ronse, Mathematical morphology, Handbook of Spatial Logics, pp.857-944, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00556180

B. A. Davey and H. A. Priestley, Introduction to lattices and order, 2002.

D. Duffus, V. Rodl, B. Sands, and R. Woodrow, Enumeration of order preserving maps, Order, vol.9, issue.1, pp.15-29, 1992.

W. Feller, An introduction to probability theory and its applications, Wiley series in probability and mathematical statistics: Probability and mathematical statistics, 1971.

G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove et al., Continuous lattices and domains, 2003.

G. Gr'atzer and E. Schmidt, On the lattice of all join-endomorphisms of a lattice, Proceedings of The American Mathematical Society -PROC AMER MATH SOC, vol.9, pp.722-722, 1958.

M. Guzmán, S. Haar, S. Perchy, C. Rueda, and F. D. Valencia, Belief, knowledge, lies and other utterances in an algebra for space and extrusion, J. Log. Algebr. Meth. Program, vol.86, issue.1, pp.107-133, 2017.

M. Guzmán, S. Knight, S. Quintero, S. Ramírez, C. Rueda et al., Reasoning about Distributed Knowledge of Groups with Infinitely Many Agents, CONCUR 2019 -30th International Conference on Concurrency Theory, vol.29, pp.1-29, 2019.

M. Habib and L. Nourine, Tree structure for distributive lattices and its applications, Theoretical Computer Science, vol.165, issue.2, pp.391-405, 1996.
URL : https://hal.archives-ouvertes.fr/hal-01765441

P. Jipsen, Relation algebras, idempotent semirings and generalized bunched implication algebras, Relational and Algebraic Methods in Computer Science, pp.144-158, 2017.

P. Jipsen and N. Lawless, Generating all finite modular lattices of a given size, Algebra universalis, vol.74, issue.3, pp.253-264, 2015.

S. Knight, C. Palamidessi, P. Panangaden, and F. D. Valencia, Spatial and Epistemic Modalities in Constraint-Based Process Calculi, 23rd International Conference on Concurrency Theory, vol.7454, pp.317-332, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00761116

C. Ronse, Why mathematical morphology needs complete lattices, Signal Processing, vol.21, issue.2, pp.129-154, 1990.

C. Rueda and F. Valencia, On validity in modelization of musical problems by ccp, Soft Computing, vol.8, issue.9, pp.641-648, 2004.

L. Santocanale, On Discrete Idempotent Paths, Combinatorics on Words, vol.11682, pp.312-325, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02153821

J. Stell, Why mathematical morphology needs quantales, International Symposium on Mathematical Morphology, ISMM09, pp.13-16, 2009.