1

Richard A. De Millo , Richard J. Lipton , Alan J. Perlis, Social processes and proofs of theorems and programs, Communications of the ACM, v.22 n.5, p.271-280, May 1979  [doi>10.1145/359104.359106]

1

Brian W. Kernighan , P. J. Plauger, The Elements of Programming Style, McGraw-Hill, Inc., New York, NY, 1982

1

J. C. Huang, An Approach to Program Testing, ACM Computing Surveys (CSUR), v.7 n.3, p.113-128, Sept. 1975  [doi>10.1145/356651.356652]

2

Glenford J. Myers, A controlled experiment in program testing and code walkthroughs/inspections, Communications of the ACM, v.21 n.9, p.760-768, Sept. 1978  [doi>10.1145/359588.359602]

3

B. P. Lientz , E. B. Swanson , G. E. Tompkins, Characteristics of application software maintenance, Communications of the ACM, v.21 n.6, p.466-471, June 1978  [doi>10.1145/359511.359522]

4

M M Jackson, Information systems: Modelling, sequencing and transformations, Proceedings of the 3rd international conference on Software engineering, p.72-81, May 10-12, 1978, Atlanta, Georgia, United States

5

Marvin V. Zelkowitz, Perspectives in Software Engineering, ACM Computing Surveys (CSUR), v.10 n.2, p.197-216, June 1978  [doi>10.1145/356725.356731]

1

Joseph Weizenbaum, Computer Power and Human Reason: From Judgment to Calculation, W. H. Freeman & Co., New York, NY, 1977

2

Koestler, A. The Ghost in the Machine. Henry Regnery Co., Chicago, 1967.

3

Koestler, A. Janus--a Summing Up. Hutchinson, 1978.

1

Lakatos, Mathematics, Science and Epistemology. Cambridge University Press, London, 1978.

2

Lakatos, I. Proofs and Refutations. Cambridge University Press, London, 1976.

3

Popper, K. Conjectures and Refutations. Routledge and Kegan Paul, London, 1974.

4

Kuhn, T.S. The Structure of Scientific Revolutions. Chicago University Press. 1970.

5

Lakatos, I. The Methodology of Scientific Research Programmes. Cambridge University Press, London. 1977.

1

Abrahams, P.W. Machine verification of mathematical proof. Sc.D. Th., Dept. of Mathematics, MIT, Cambridge, Mass., June 1963.

2

Floyd, R.W. Assigning meanings to programs. Proc. Syrup. Applied Math. 19 (Mathematical Aspects of Computer Science), Amer. Math. Soc., Providence, R.I., 1967, pp. 19-32.

3

Maurer, W.D. On minimal decompositions of group machines. Ph.D. Th., Dept. of Mathematics, U. of California, Berkeley, Jan. 1965.

4

W. D. Maurer, Some correctness principles for machine language programs and microprograms, Conference record of the 7th annual workshop on Microprogramming, p.225-234, September 30-October 02, 1974, Pal Alto, California, United States  [doi>10.1145/800118.803866]

5

W. D. Maurer, Proving the correctness of a flight-director program for an airborne minicomputer, Proceedings of the ACM SIGMINI/SIGPLAN interface meeting on Programming systems in the small processor environment, p.103-108, March 04-06, 1976, New Orleans, Louisiana, United States

6

Maurer, W.D. Software systems design and correct software. Proc. IEEE COMPCON 77, Spring (14th IEEE Computer Soc. International Conf.), San Francisco, Calif., Feb. 1977, pp. 194- 197.

7

Maurer, W.D. A microcomputer program verifier and its assertion language. Proc. 12th Hawaii International Conference on System Sciences, Honolulu, Hawaii, Jan. 1979.

1

Lakatos, I. Proof and Refutations: The Logic of Mathematical Discovery. Cambridge, 1978.

2

Manin, Yu I. A Course in Mathematical Logic. Springer-Verlag, 1977.

3

Alfred V. Aho , John E. Hopcroft, The Design and Analysis of Computer Algorithms, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1974

4

Donald E. Knuth, The art of computer programming, volume 3: (2nd ed.) sorting and searching, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1998

Gregory R. Andrews, Parallel programs: proofs, principles, and practice, Communications of the ACM, v.24 n.3, p.140-145, March 1981

M. M. Lehman, The role of process models in software and systems development and evolution, Proceedings of the 5th international software process workshop on Experience with software process models, p.91-94, October 10-13, 1989, Kennebunkport, Maine, United States

Ken Foster, A comment on: "An exercise in automatic program verification", ACM SIGSOFT Software Engineering Notes, v.5 n.1, p.36-37, January 1980

V. R. Pratt, On specifying verifiers, Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.106-116, January 28-30, 1980, Las Vegas, Nevada

Robert L. Ashenhurst: colleagues