1. Rosen, K. H. (1999). Discrete mathematics and its applications. McGraw-Hill.
2. Janicki, R., Kleijn, J., Koutny, M., & Mikulski, Ł. (2015). Characterising concurrent histories. Fundamenta Informaticae, 139(1), 21–42.
3. Hopcroft, J. E., & Ullman, J. D. (1979). Introduction to automata theory, languages, and computation. Addison-Wesley.
4. Kuratowski, K., & Mostowski, A. (1967). Set theory. Amsterdam: North-Holland Pub. Co.
5. Cohn, P. M. (1965). Universal algebra. Harper & Row.