Victor Luchangco
A Formal Framework for Modeling Memory
Victor Luchangco, Visitor from MIT, February 22, 1999
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu