The nuprl proof development system (version 4.2) reference manual and user’s guide. Unpublished manuscript (1996)

by Paul Jackson