Enhancing the Nuprl Pro Development System and Applying it to Computational Abstract Algebra (1995)

by P B Jackson