Samuel Eilenberg’s Automata, Languages and Machines: Volume A (1974) is the first in a two-volume series that systematically develops the mathematical foundations of automata theory, formal languages, and their connections to algebra. It is a rigorous, abstract treatment intended for advanced students and researchers in mathematics and computer science.