Title: Logical design of digital computers
First published: 1958