Neal Glew
Typed Assembly Language
Neal Glew, March 1, 1999
Formal Domain Theory
Neal Glew, December 5, 1995
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu