1. Zoé Chatzidakis. Model theory of difference fields. In The Notre Dame lectures, volume 18 of Lect. Notes Log., pages 45–96. Assoc. Symbol. Logic, Urbana, IL, 2005. 2. Gregory Cherlin and Ehud Hrushovski. Finite Structures with Few types. Number 152 in Annals of Mathematics Studies. Princeton UP, 2003. 3. Jamshid Derakhshan and Angus Macintyre. Enrichments of Boolean algebras by Presburger predicates. Fund. Math., 239(1):1–17, 2017. 4. Javier Esparza, Christian Michaux, and Charles Steinhorn, editors. Finite and algorithmic model theory, volume 379 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 2011. 5. Wilfrid Hodges. Model theory, volume 42 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 1993. 6. Martin Kühnrich. Differentialoperatoren über Booleschen Algebren. Z. Math. Logik Grundlag. Math., 32(3):271–288, 1986. 7. Dugald Macpherson and Charles Steinhorn. Definability in classes of finite structures. In Finite and algorithmic model theory, volume 379 of London Math. Soc. Lecture Note Ser., pages 140–176. Cambridge Univ. Press, Cambridge, 2011. 8. David Marker. Model theory, volume 217 of Graduate Texts in Mathematics. Springer-Verlag, New York, 2002. An introduction. 9. Vladimir Pestov. Dynamics of infinite-dimensional groups, volume 40 of University Lecture Series. American Mathematical Society, Providence, RI, 2006. 10. Sergiu Rudeanu. Boolean Functions and Equations. North Holland Publishing Company, Amsterdam, 1974. 11. Sergiu Rudeanu. Lattice Function and Equations. Springer, 2001. 12. Bernd Steinbach and Christian Posthoff. Boolean Differential Calculus. Number 52 in Synthesis Lectures on Digital Circuits and Systems. Morgan & Claypool, 2017. 13. André Thayse. Boolean calculus of differences, volume 101 of Lecture Notes in Computer Science. Springer-Verlag, Berlin-New York, 1981. With a foreword by Sheldon B. Akers.