The paradigms of programming

[1]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[2]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[3]  Gerald Jay Sussman,et al.  Micro-Planner Reference Manual , 1970 .

[4]  Niklaus Wirth,et al.  Pascal User Manual and Report , 1991, Springer New York.

[5]  Richard J. Waldinger,et al.  QA4: A Procedural Calculus for Intuitive Reasoning. , 1972 .

[6]  H. Gelernter,et al.  Realization of a geometry theorem proving machine , 1995, IFIP Congress.

[7]  Niklaus Wirth,et al.  Systematic Programming: An Introduction , 1974 .

[8]  Robert M Balzer.  Imprecise Program Specification , 1975 .

[9]  T. Kuhn.  The Structure of Scientific Revolutions. , 1964 .

[10]  Robert W. Floyd,et al.  The Syntax of Programming Languages-A Survey , 1964, IEEE Trans. Electron. Comput..

[11]  Niklaus Wirth.  The Programming Language Pascal (Reprint) , 2002, Software Pioneers.

[12]  Marvin Minsky,et al.  Form and Content in Computer Science (1970 ACM turing lecture) , 1970, JACM.

[13]  Randall Davis.  Interactive transfer of expertise: acquisition of new inference rules , 1993, IJCAI 1993.

[14]  Robert W. Floyd,et al.  Nondeterministic Algorithms , 1967, JACM.

[15]  Edward H. Shortliffe,et al.  Computer-based medical consultations, MYCIN , 1976 .

[16]  田中 穂積.  E.H.Shortliffe 著, "Computer-Based Medical Consultations : MYCIN", American Elsevier, A4判, 264ぺージ, \10,080, 1976 , 1978 .

[17]  Carl Hewitt,et al.  PLANNER: A Language for Proving Theorems in Robots , 1969, IJCAI.

[18]  Melvin E. Conway,et al.  Design of a separable transition-diagram compiler , 1963, CACM.

[19]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[20]  Javier Farreres.  The Programming Language , 2004 .

[21]  Marvin Minsky,et al.  Form and Content in Computer Science , 1987 .

[22]  David R. Barstow,et al.  On Program Synthesis Knowledge , 1978, Artif. Intell..

[23]  Nils J. Nilsson,et al.  Problem-solving methods in artificial intelligence , 1971, McGraw-Hill computer science series.

[24]  E. L. Lawler,et al.  Branch-and-Bound Methods: A Survey , 1966, Oper. Res..

[25]  Howard E. Shrobe,et al.  Initial Report on a Lisp Programmer's Apprentice , 1978, IEEE Transactions on Software Engineering.

[26]  Niklaus Wirth,et al.  Program development by stepwise refinement , 1971, CACM.

[27]  Edsger W. Dijkstra,et al.  Notes on structured programming , 1970 .