Kniha představuje úvod do teorie formálních modelů počítačů. Základní teoretickou kostru tvoří relační struktury a substituce. V knize jsou podány tři základní modely počítače: Počítače s libovolným přístupem, počítače s datovými strukturami a počítače s paralelním zpracováníminformace. Výklad je doplněn o příklady aplikací.
