1. Beeson, M., Mathpert Calculus Assistant. This software program (now known as MathXpert) was published in July, 1997 by Mathpert Systems, Santa Clara, CA, and is commercially available from <
http://www.mathxpert.com/
>.
2. Texts and Monographs in Symbolic Computation;M. Beeson,1998
3. Beeson, M. MathXpert: un logiciel pour aider les élèves à apprendre les mathématiques par láction, to appear in Sciences et Techniques Educatives. An English translation of this article under the title MathXpert: learning mathematics in the twenty-first century is available at <
http://www.mathcs.sjsu.edu/faculty/beeson/Pubs/pubs.html
>.
4. Beeson, M., Using nonstandard analysis to verify the correctness of computations, International Journal of Foundations of Computer Science, 6(3) (1995), pp. 299–338.
5. K. Kuratowski. Topology, volume 1. Academic Press, New York, London, 1966.