Abelson, H. H., Sussman, G. J., & Sussman, J. (1986). Structure and interpretation of computer programs. The MIT electrical engineering and computer science series
. Cambridge, MA: MIT Press.Google Scholar
Abramson, D. (2011). Philosophy of mind is (in part) philosophy of computer science. Minds and Machines, 21(2).
Angius, N., Tamburrini, G. (2011). Scientific theories of computational systems in model checking. Minds and Machines, 21(2).
Clark, A., & Chalmers, D. J. (1998). The extended mind. Analysis,
, 10–23.CrossRefGoogle Scholar
Colburn, T., Shute, G. (2011). Decoupling as a fundamental value of computer science. Minds and Machines, 21(2).
Copeland, B. J., Shagrir, O. (2011). Do accelerating Turing machines compute the uncomputable? Minds and Machines, 21(2).
DeMillo, R. A., Lipton, R. J., & Perlis, A. J. (1979). Social processes and proofs of theorems and programs. Communications of the ACM,
(5), 271–280.CrossRefGoogle Scholar
Dodig-Crnkovic, G. (2011). Significance of models of computation, from Turing model to natural computation. Minds and Machines, 21(2).
Eden, A. H. (2007). Three paradigms of computer science. Minds and Machines,
(2), 135–167.CrossRefGoogle Scholar
Fetzer, J. H. (1988). Program verification: The very idea. Communications of the ACM,
(9), 1048–1063.CrossRefGoogle Scholar
Gibbs, W. W. (1994). Software’s Chronic Crisis. Scientific American, 271(3), 72–81.
Gruner, S. (2011). Problems for a philosophy of software engineering. Minds and Machines, 21(2).
Halpin, H. (2011). Sense and reference on the web. Minds and Machines, 21(2).
Hoare, C. A. R. (1981, February). The emperor’s old clothes (ACM Turing award lecture). Communications of the ACM, 24(2), 75–83.
Lehman, M. M. (1996). Laws of software evolution revisited. In Proceedings of 5th European Workshop Software Process Technology—EWSPT’96. Nancy, France, October 9.
Lockhorst, G. -J. (2011). Computational meta-ethics. Minds and Machines, 21(2).
Naur, P., Randell, B. (Eds.). (1968). Software engineering, Report of a conference sponsored by the NATO Science Committee. Garmisch, Germany, October 7.
NYTimes. (2011). On ‘Jeopardy!’ Watson win is all but trivial. The New York Times, February 16.
Pincas, U. (2011). Program verification and functioning of operative computing revisited: How about mathematics engineering? Minds and Machines, 21(2).
Suppe, F. (1989). The semantic conception of theories and scientific realism
. Urbana: University of Illinois Press.Google Scholar
Suppes, P. (1960). A comparison of the meaning and uses of models in mathematics and the empirical sciences. Synthese,
, 287–301.MathSciNetMATHCrossRefGoogle Scholar
Turner, R. (2011). Specification. Minds and Machines, 21(2).
Van Fraassen, B. C. (1980). The scientific image. Oxford: Oxford University Press.
White, G. (2011). Descartes among the robots: Computer science and the inner/outer distinction. Minds and Machines, 21(2).