1. Alexander HG (1998) The Leibniz-Clarke correspondence: together with extracts from Newton\’s Principia and Optics. Manchester University Press, Manchester
2. Banks CM (2009) What is modeling and simulation? In: Sokolowski JA, Banks CM (eds) Principles of modeling and simulation: a multidisciplinary approach. Wiley, Hoboken, pp 3–24
3. Box GEP, Draper NR (1987) Empirical model building and response surfaces. Wiley, New York
4. Chaitin GJ (1987) Algorithmic information theory. Cambridge University Press, Cambridge
5. Cook SA (1971) The complexity of theorem-proving procedures. In: Proceedings of the third annual ACM symposium on theory of computing. ACM Press, New York, pp 151–158