"Minsky, Marvin L" Computation : finite and infinite machines - New Jersey Prentice Hall c1967 - "xvii, 317p. : ill. ;23cm." includes bibliographical references and index Subjects--Topical Terms: Machine theory