The Province of Computer Science

Arden, Bruce W. , "COSERS Overview," in Arden, Bruce W., ed., What Can Be Automated? The Computer Science and Engineering Study (COSERS) (Cambridge, Massachusetts: The MIT Press , 1980), pp. 3-31.

Backus, John , "Can Programming Be Liberated From the von Neumann Style? A Functional Style and Its Algebra of Program" [the 1977 ACM Turing Award Lecture] in Communications of the ACM, vol. 21 (August 1978).

Chomsky, Noam , Language and Mind (New York: Harcourt, Brace, and World, 1968; enlarged edition, Harcourt, Brace, Jovanovich, 1972).

Church, Alonzo , The Calculi of Lambda-Conversion (Princeton, New Jersey : Princeton University Press, 1941 ).

Denning, Peter J. , "Working Sets Past and Present," in IEEE Transactions on Software Engineering, vol. 6 (January 1980), pp. 64-84

. Dennis, Jack B. , and Misunas, David P. , "A Preliminary Architecture for a Basic DataFlow Processor," in Proceedings of the Second Annual Symposium on Computer Architecture held [in Houston, Texas] by the IEEE Computer Society and the Association for Computing Machinery, in cooperation with the University of Houston, January 20-22, 1975 (New York: Institute of Electrical and Electronics Engineers, 1975), pp. 126-132.

Gorn, Saul , "The Computer and Information Sciences in the Community of Disciplines," in Behavioral Science, vol. 12 (November 1967), pp. 433-452

. Hartmanis, Juris , "Quo Vadimus: Computer Science in a Decade," in Communications of the ACM, vol. 24 (June 1981), pp. 351-369

. Kling, Rob , "Social Analyses of Computing: Theoretical Perspectives in Recent Empirical Research," in Computing Surveys , vol. 12 (March 1980), pp. 61-110

. Knuth, Donald E. , "Computer Science and Its Relation to Mathematics," in American Mathematical Monthly, vol. 81 (No. 4, 1974), pp. 323-343

. Kuhn, Thomas S. , The Structure of Scientific Revolutions (Chicago, Illinois : University of Chicago Press, 1962; 2nd enlarged ed. 1970).

Kuhn, Thomas S. , "Second Thoughts on Paradigms," in Suppe, Frederick, ed., The Structure of Scientific Theories ( Urbana, Illinois : University of Illinois Press, 1974), pp. 459-482.

Langefors, Börje , "Information Systems Theory," in Information Systems , vol. 2 (no. 3, 1977), pp. 207-219

. Machlup, Fritz , "Meeting Review: An Economist's Reflections on an Institute for Advanced Study of Information Science," in Journal of the American Society for Information Science, vol. 30 (March 1979), pp. 111-113

. Merton, Robert K. , The Sociology of Science: Theoretical and Empirical Investigations , edited by Norman W. Storer (Chicago, Illinois : University of Chicago Press, 1973).

Minsky, Marvin L. , "Computer Science and the Representation of Knowledge," in Dertouzos, Michael L., and Moses, Joel, eds., The Computer Age: A Twenty-Year View (Cambridge, Massachusetts: The MIT Press, 1979), pp. 392-421.

Newell, Allen , and Simon, Herbert A. , "Computer Science as Empirical Inquiry: Symbols and Search," [the 1976 ACM Turing Award Lecture] in Communications of the ACM, vol. 19 (March 1976), pp 113-126

. Newell, Allen ; Perlis, Alan J. ; and Simon, Herbert A. , "Computer Science," letter to the Editor, Science, vol. 157 (22 September, 1967), pp. 1373-1374.

Pearson, Charls , and Slamecka, Vladimir , Semiotic Foundations of Information Science. Report of the School of Information and Computer Science, GIT-ICS-77-01 (Atlanta, Georgia: Georgia Institute of Technology, 1977).

Popper, Karl R. , Objective Knowledge: An Evolutionary Approach ( Oxford: Clarendon Press, 1972; revised edition, Oxford University Press, 1979).

Saracevic Tefko, ed., Introduction to Information Science ( New York: R. R. Bowker, 1970).

Simon, Herbert A. , The Sciences of the Artificial. [The Karl Taylor Compton Lecture, 1968.] (Cambridge, Massachusetts: The MIT Press, 1969; second enlarged edition, 1981).

Slamecka, Vladimir, and Gehl, John, eds., "Information Sciences at Georgia Institute of Technology: The Formative years 1963-78," in Information Processing and Management, vol. 14 (no. 5, 1978), pp. 320-361.

Strachey, Christopher , "Computing Science," in Bullock, Alan, and Stallybrass, Oliver, eds., The Harper Dictionary of Modern Thought ( New York : 1st U.S. edition, Harper and Row, 1977), p. 124.

Turing, Alan M. , "On Computable Numbers, with an Application to the Entscheidungsproblem," in Proceedings of the London Mathematical Society , vol. 42 (no. 2, 1936), pp. 23-265

. Wegner, Peter , "Three Computer Cultures, Computer Technology, Computer Mathematics, and Computer Science," in Alt, Franz L., and Rubinoff, Morris, eds., and Freiberger, Walter, guest editor, Advances in Computers ( New York: Academic Press, 1970), vol. 10, pp. 8-78.

Winograd, Terry , "Beyond Programming Languages," in Communications of the ACM, vol. 22 (July 1979), pp. 391-401

. Zloof, Moshé M. , "Query-by-Example: A Data Base Language," in International Business Machines Systems Journal, vol. 16(no. 4, 1977), pp. 324-343.