Computation by Abstract Devices 12 本书

—