\documentstyle[headerfooter,a4,a4wide,notation,lgrind,comment,boxedminipage]{article}
\newcommand{\specimen}{{\sc Specimen}}
\newcommand{\version}{2 Sep 1992}
\newlength{\wordlength}
\pagestyle{headings}
\pageheaderlinetrue
\pageheader{\sl\rightmark}{\bf\version}{\thepage}
%\pageheader{\sl\rightmark}{}{\thepage}
\pagefooter{}{}{}
%
\title{\huge Action Semantics of \specimen}
\author{Hermano Perrelli de Moura\\
%\thanks{Supported by CNPq, Brazil. On leave from Caixa Econ\^omica Federal, Brazil.}\\
Federal University of Pernambuco\\ 
Department of Informatics\\
Recife, Brazil\\
{\tt <hermano@di.ufpe.br>}\\ \\
%\date{2nd September 1992}
}
%
\begin{document}
\maketitle
%
\begin{abstract}
\noindent
This document gives the definition of {\sc microSpecimen}, a simple imperative
language designed to serve as an example language in our research on 
semantics-directed compiler generation.
\end{abstract}
%
\tableofcontents
%\newpage
\input{informal}
\input{specimen.tex}
\end{document}
