Cormen, T.H., Leiserson, C.E., and Rivest. R.L. (1990). Introduction to Algorithms. Cambridge, MA: MIT Press
Davis, E. (1990). Order of Magnitude Reasoning in Qualitative Differential Equations. In D. Weld and J. de Kleer (Eds.) Readings in Qualitative Reasoning about Physical Systems. San Mateo, CA: Morgan Kaufmann. 422-434.
Keisler, J. (1976). Foundations of Infinitesimal Calculus. Boston, MA: Prindle, Webber, and Schmidt.
Mavrovouniotis, M. and Stephanopoulos, G. (1990). ``Formal Order-of-Magnitude Reasoning in Process Engineering.'' In D. Weld and J. de Kleer (Eds.) Readings in Qualitative Reasoning about Physical Systems. San Mateo, CA: Morgan Kaufmann. 323-336.
Raiman, O. (1990). ``Order of Magnitude Reasoning.'' In D. Weld and J. de Kleer (Eds.) Readings in Qualitative Reasoning about Physical Systems. San Mateo, CA: Morgan Kaufmann. 318-322.
Robinson, A. (1965). Non-Standard Analysis. Amsterdam: North-Holland Publishing Co.
Weld, D. (1990). ``Exaggeration.'' In D. Weld and J. de Kleer (Eds.) Readings in Qualitative Reasoning about Physical Systems. San Mateo, CA: Morgan Kaufmann. 417-421.