NuPRL’s class theory and its applications (2000)

by Robert L. Constable, Jason Hickey
Venue:Foundations of Secure Computation, NATO ASI Series, Series F: Computer & System Sciences