J. Almeida, Profinite semigroups and applications, NATO Science Series II: Mathematics, Physics and Chemistry, vol.207, pp.1-45, 2005.

V. G. Bodnar?uk, L. A. Kalu?nin, V. N. Kotov, and B. A. Romov, Galois theory for Post algebras I-II, Kibernetika (Kiev) Cybernetics and Systems Analysis, vol.3, issue.5, pp.1-10, 1969.

S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Graduate Texts in Mathematics, vol.78, 1981.
DOI : 10.1007/978-1-4613-8130-3

M. Couceiro, On the lattice of equational classes of Boolean functions and its closed intervals, Journal of Multiple-Valued Logic and Soft Computing, vol.18, pp.81-104, 2008.

M. Couceiro, S. Foldes, and E. Lehtonen, Composition of Post classes and normal forms of Boolean functions, Discrete Math, pp.3223-3243, 2006.

M. Couceiro and S. Foldes, Functional equations, constraints, definability of function classes, and functions of Boolean variables, Acta Cybernet, vol.18, pp.61-75, 2007.

M. Couceiro, E. Lehtonen, and T. Waldhauser, Decompositions of functions based on arity gap, Discrete Math, pp.312-238, 2012.

M. Couceiro and M. Pouzet, On a quasi-ordering on Boolean functions, Theoretical Computer Science, vol.396, issue.1-3, pp.71-87, 2008.
DOI : 10.1016/j.tcs.2008.01.025

O. Ekin, S. Foldes, P. Hammer, and L. Hellerstein, Equational characterizations of Boolean function classes, Discrete Math, pp.27-51, 2000.

D. Geiger, Closed systems of functions and predicates, Pacific Journal of Mathematics, vol.27, issue.1, pp.95-100, 1968.
DOI : 10.2140/pjm.1968.27.95

. I. Ju, A. A. Janov, and . Mu?nik, Existence of k-valued closed classes without a finite basis, Dokl. Akad. Nauk SSSR, vol.127, pp.44-46, 1959.

D. Lau, Function algebras on finite sets, 2006.

H. Machida, Finitary approximations and metric structure of the space of clones, Proceedings 25th International Symposium on Multiple-Valued Logic, pp.200-205
DOI : 10.1109/ISMVL.1995.513532

N. Pippenger, Galois theory for minors of finite functions, Discrete Math, pp.405-419, 2002.

E. L. Post, The two-valued iterative systems of mathematical logic, Annals of Mathematics Studies, issue.5, 1941.
DOI : 10.1515/9781400882366

J. Rhodes and B. Steinberg, The q-theory of finite semigroups, 2009.
DOI : 10.1007/b104443

I. G. Rosenberg, ¨ Uber die funktionale Vollständigkeit in den mehrwertigen Logiken, Rozpravy?eskoslovenskeRozpravy?Rozpravy?eskoslovenske Akademie V?d, pp.3-93, 1970.

T. Waldhauser, On Composition-Closed Classes of Boolean Functions, 2011 41st IEEE International Symposium on Multiple-Valued Logic, pp.493-518, 2012.
DOI : 10.1109/ISMVL.2011.35

C. and D. Matemática, Rua do Campo Alegre 687, 4169-007 Porto, Portugal, jalmeida[at]fc.up.pt LAMSADE -CNRS