Display and editing in the Nuprl systems, 2000. private communication (0)

by Stuart Allen, Richard Eaton