Computation by Abstract Devices 12 libri

—