Machine language in digital computer design
H. L. Engel · 1958
If the description of the logical structure of a digital computer is in a form that can be processed by a digital computer, this description is said to be in a machine language. The notation of Boolean algebra is a particularly suitable machine language for the logical description of digital computers. The advantages of Boolean algebra notation in the logical design of digital computers has been amply pointed out in the companion paper.