Thomas C. Bartee Volgorde van de boeken (chronologisch)

Aplikácia metód algebry na teóriu konečných automatov,programovacích jazykov,optimalizáciu počítačov,kódovania a teóriu vypočítateľnosti.