Donald I. Good;William D. Young
-;-
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Domains: their simulation, monitoring and control-a divertimento of ideas and suggestions
Rainbow of computer science