1. Automatic Generation of Epsilon-Delta Proofs of Continuity in:;Beeson,1998
2. Unification in lambda-calculus with if-then-else, in:;Beeson,1998
3. Logic and computation in Mathpert: an expert system for learning mathematics;Beeson,1989
4. Design Principles of Mathpert: Software to support education in algebra and calculus in:;Beeson,1996
5. Using nonstandard analysis to ensure the correctness of symbolic computations;Beeson;International Journal of Foundations of Computer Science,1995