Timothy R. Colburn;Terry L. Rankin;James H. Fetzer
-;-;-
Abstraction in Computer Science
Minds and Machines
Program Verification and Functioning of Operative Computing Revisited: How about Mathematics Engineering?