Additional references

Additional references, non exploited or non read yet


Tsvi Bar-David "Object-oriented Design for C++",
Prentice-Hall, Englewood Cliffs, NJ. ISBN: 1993 0-13-630260-2
Note:
 3.

Edsger W. Dijkstra "A Discipline of Programming" Prentice-Hall,
Englewood Cliffs (N.J) 1976

E. W. Dijkstra, L. Lamport, A. J. Martin, C. S. Scholten and
E. F. M. Steffens "On-the-Fly Garbage Collection: An Exercise in
Cooperation", Communications of the ACM, vol 21, no 11,
pp 966-975, Nov. 1978

Jerry A. Fodor "Precis of the Modularity of Mind"

Hans-Georg Gadamer "Truth and Method" (translated by Garett Barden and
John Cumming), New York: Seasbury Press, 1976

Hans-Georg Gadamer "Philosophical Hermeneutics" (translated by David
E. Linge), Berkeley: University of California Press, 1976

Juergen Habermas "What is universal pragmatics?" in J. Habermas,
Communication and the Evolution of Society (translated by Thomas Mc
Carthy), Boston: Beacon Press, 1979, 1-68

Martin Heidegger "Being and Time" (translated by John Macquarrie and
Edward Robinson), New York: Harper & Row, 1962

C.A.R. Hoare "An Axiomatic Basis for Computer Programming"
Communications of the ACM, vol 12. no 10, pp 576-580, Oct 1969

C.A.R. Hoare "Proof of Correctness of Data Representations" Acta
Informatica, vol 1, pp 271-281, 1972

Barbara H. Liskov and Stephen N. Zilles "Programming with the
Abstract Data Types" Computational Structure Group, Memo no 99,
MIT, Project MAC, Cambridge (Mass.), 1974

Barbara H. Liskov and John Guttag "Abstraction and Specification
in Program Development", MIT Press, Cambridge (Mass.), 1986

Marvin Minsky "A Framework for Representing Knowledge", in Winston
(1975), 211-277

Rob Murray, "C++ Strategies and Tactics", Addison-Wesley 1993

Allen Newell and Herbert A. Simon "The Theory of Human Problem
Solving", Prentice-Hall, New York 1972

Allen Newell and Herbert A. Simon "GPS, a Program that Simulates Human
Thought"

Richard E. Palmer "Hermeneutics: Interpretation theory in
Schleiermacher, Dilthey, Heidegger and Gadamer", Evanston, IL:
Northwestern University Press, 1969

Marshall T. Rose "The Open Book - A Practical Perspective on OSI",
Prentice-Hall, 1990

Roger C. Schank and R.P. Abelson "Scripts Plans Goals and
Understanding" Hillsdale, NJ: Lawrence Erlbaum Associates, 1977

Niklaus Wirth "Program Development by Stepwise Refinement"
Communications of the ACM, vol 14, no 4, pp 221-227, 1971

W.A. Woods "What's in a Link: Foundation for Semantic Networks"

Roche,John.M. and Jackson,Mike (1994) Software Measurement Methods: 
Recipes for success. In: Information and Software Technology Vol 36 (3) 
p173-189 Butterworth-Heinemann 1994.