Mathematical foundations of programming
Beckman, Frank S.
Reading, Mass. London Addison-Wesley
c1980
Ill on lining papers
Includes index
Electronic digital computers.
Machine theory.