\documentstyle[11pt]{article} \title{Building a Language-
Independent {\tt WEB}\thanks{This research has been sponsored in
part by the USAF, Rome Air Development Center, under contract
number F30602--86--C--0071.}} %\author{Norman Ramsey\\Department
of Computer Science\\Princeton University} \author{Norman
Ramsey\thanks{Current address: Department of Computer Science,
Princeton University, Princeton, New Jersey 08544}% \\Odyssey
Research Associates} \newcommand{\token}{\cstok}
\def\sizedboxit#1#2{\vtop{\vbox{\hrule\hbox{\vrule\kern #2%
\vtop{\vbox{\kern #2\hbox{#1}}\kern #2}\kern #2\vrule}}\hrule}}
\def\boxit#1{\sizedboxit{#1}{3pt}}
\newcommand{\remark}{\marginpar}
\def\remark#1{\marginpar{\footnotesize\it #1}} \def\cstok#1{\lea
vevmode\thinspace\hbox{\vrule\vtop{\vbox{\hrule\kern1pt
\hbox{\vphantom{\tt/}\thinspace{\tt#1}\thinspace}}
\kern1pt\hrule}\vrule}\thinspace} % control sequence token \def\
ttok#1{\leavevmode\thinspace\hbox{\vrule\vtop{\vbox{\hrule\kern1
pt \hbox{\vphantom{\tt(j}\thinspace{\tt#1}\thinspace