Bates, J. and Constable, R.: 1985, ‘Proofs as Programs’,

*ACM Transactions on Programming Languages*
**7**, 113–136.

CrossRefBeeson, M.: 1985,*Foundations of Constructive Mathematics*, Springer-Verlag, New York.

Bernays, P. and Fraenkel, A.: 1958,*Axiomatic Set Theory*, North-Holland, Amsterdam.

Bishop, E.: 1967,*Foundations of Constructive Analysis*, McGraw-Hill, New York.

Bishop, E.: 1970, ‘Mathematics as a Numerical Language’, in*Intuitionism and Proof Theory*, North-Holland, Amsterdam.

Churchman, C.: 1968,*The System Approach*, Dell, New York.

Code, M.: 1985,*Order and Organism*, State University of New York Press, Albany, NY.

Constable, R.: 1986,*Implementing Mathematics with the Nuprl Proof Development Systems*, Prentice Hall, Englewood Cliffs, NJ.

Dahl, O.: 1966, ‘SIMULA — An ALGOL-based Simulation Language’,

*Communications of the ACM*
**9**, 671–678.

CrossRefDijkstra, E.: 1976,*A Discipline of Programming*, Prentice Hall, Englewood Cliffs, NJ.

Forrester, J.: 1968,*Principles of Systems*, MIT Press, Cambridge, MA.

Garey, M. and Johnson, D.: 1978,*Computers and Intractability: A Guide to the Theory of NP-Completeness*, H. Freeman, San Francisco.

Greenspan, D. and Casulli, V.: 1985, ‘Particle Modelling of an Elastic Arch’,

*Applied Mathematical Modelling*
**9**, 215–219.

CrossRefGreenspan, D.: 1989, “Particle Simulation of Biological Sorting on a Supercomputer’,

*Computers Math. Applic.*
**18**, 823–834.

CrossRefHeyting, A.: 1956,*Intuitionism, an Introduction, North-Holland, Amsterdam*.

Johnson, A.: 1962,*Whitehead's Theory of Reality*, Dover, New York.

Kortright, E.: 1991, λσ:*A Forma. Method for Simulation Based on the Typed λ-Calculus*, Ph.D. dissertation, Center for Advanced Computer Studies, Lafayette, LA.

Kortright, E.: 1990, ‘λσ: A Simulation Language Based on the Typed λ-Calculus’,*Advances in Modelling and Simulation*
**25**, 13–23.

Kortright, E.: 1991, ‘Particle Simulation in λσ’, in*Proceedings of the 1991 Summer Computer simulation Conference*, Society for Computer Simulation, Baltimore, MD, pp. 110–114.

Kortright, E.: 1991, ‘Parallel Simulation in λσ’, in*Proceedings of the 1991 Simulation Technology Conference*, Society for Computer Simulation, Orlando, FL, pp. 356–361.

Kreutzer, W.: 1986,*System Simulation, Programming Styles and Languages*, Addison-Wesley, New York.

Lakatos, I.: 1976,*Proofs and Refutations*, Cambridge University Press, Cambridge, MA.

Lango, J.: 1972,*Whitehead's Ontology*, State University of New York Press, Albany, NY.

Lebel, J.: 1985, ‘System Dynamics’, in Cellier, F. (Ed.),*Progress in Modelling and Simulation*, John Wiley, New York, pp. 119–158.

Levin, L.: 1989,*Elements of the Theory of Computation*, unpublished manuscript, Boston University, Boston, MA.

Martin-Löf, P.: 1975, “An Intuitionistic Theory of Types: Predicative Part’, in Rose, H. and Shepherdson, J. (Eds.),*Logic Colloquium*, pp. 73–118, Elsevier North-Holland, New York.

Martin-Löf, P.: 1985, “Constructive Mathematics and Computer Programming’, in Hoare, C. and Shepherdson, J. (Eds.),*Mathematical Logic and Programming Languages*, Prentice-Hall, Englewood Cliffs, NJ.

Moore, G.: 1982, ‘Zermelo's Axiom of Choice: Its Origins, Development, and Influence’, in*Studies in the History of Mathematics and Physical Sciences*, Vol. 8, Springer, New York.

Negoita, C.: 1985,*Expert Systems and Fuzzy Systems*, Benjamin Cummings, Menlo Park, CA.

Nilsson, N.: 1971,*Problem-Solving Methods in Artificial Intelligence*, McGraw-Hill, New York.

Pritsker, A.: 1984,*Introduction to Simulation and SLAMII*, Halstead Press, New York, 2nd edition.

Pugh III, A.: 1973,*DYNAMO II User's Manual*, MIT Press, Cambridge, MA.

Randers, J.: 1980,*Elements of the System Dynamics Method*, MIT Press.

Robbin, J.: 1969,*Mathematical Logic*, W. A. Benjamin, Inc., New York.

Schriber, T.: 1974,*Simulation Using GPSS*, John Wiley, New York.

Sherburne, D. E.: 1966,*A Key to Whitehead's Process and Reality*, University of Chicago Press, Chicago.

Thom, R.: 1986, ‘„Modern” Mathematics: An Educational and Philosophic Error?’ in Tymoczco, T. (Ed.),*New Directions in the Philosophy of Mathematics*, Birkhäuser, Boston, MA.

Ullam, S.: 1986,*Science, Computers and People*, Birkhäuser, Boston, MA.

Whitehead, A.: 1958,*Modes of Thought*, Capricorn Books, New York, 1958.

Whitehead, A.: 1960,*Process and Reality*, MacMillan, New York.

Whitehead, A.: 1965,*A Philosopher Looks at Science*, Philosophical Library, New York.