Scott Stoller
TLA
Scott Stoller and Chet Murthy, November 1, 1994
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages
Scott Stoller, March 29, 1994
Semantics
Scott Stoller, March 30, 1993
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu