Building Theories In Nuprl (1988)

by David A. Basin
Venue:Logic at Botik 89, number 363 in Lecture Notes in Computer Science