S. Rudeanu. Lattice Functions and Equations Springer-Verlag London, 2001, xi + 435 pages, ISBN 1-85233-266-2.
Lattice (Boolean) functions are algebraic functions defined over an arbitrary lattice (Boolean algebra), while lattice (Boolean) equations are equations expressed in terms of lattice (Boolean) functions. This self-contained monograph surveys recent developments of Boolean functions and equations, as well as lattice functions and equations in more general classes of lattices, particularly in Post algebras. Applications refer to graph theory, automata theory, synthesis of circuits, fault detection, databases, marketing and others.