Ein tiefgehendes Werk, das die theoretische Basis von Softwareentwicklung mit Berechnungssystemen verbindet, indem es formale Sprachen, Automaten und semantische Modelle erläutert und deren Relevanz für moderne Programmierparadigmen aufzeigt.