Computation by Abstract Devices 12 本書

—