Vaughan R. Pratt Department of Computer Science Stanford University Stanford, CA 94305-9045 Email: pratt@cs.stanford.edu Phone: 650-723-2943
July, 1998
