Stuart D. Milner
The Catholic University of America, Washington, DC
Form and Content in Computer Science (1970 ACM turing lecture)
Journal of the ACM (JACM)