\documentclass[a4paper]{prepdmuc}

%%
%% in the preamble you should not use any \pagestyle instruction
%% and any length instructions (\voffset, \hoffset, \baselinestretch etc.)
%%
%% you should include every command definition in the preamble
%%
%% if you should use any picture or graphic you should attach also
%% the corresponding file
%%

\begin{document}
%%
%% here follows the description of the commands that generate the title
%%
%% \title[t{\'\i}tulo para cabe\c{c}alho]{t{\'\i}tulo}
%%
\title[Running title]{Actual title}
%%
%% \autor[nome para cabe\c{c}alho]{nome}{endere\c{c}o}{agradecimentos}
%% o campo agradecimento tem que existir mesmo que
%% esteja vazio, para o que bastar{\'a} escrever {}
%%
%% the first argument defines the abreviated version of the author name
%% it is compulsory, even if it is equal to the actual author name
%%
\autor[Aut. 1]{Author 1}{ Department of Mathematics, University 1
of Sampleville, 1 Euler Avenue, Sampleville, UTOPIA}{} %this author does not thank anyone
%%
%% the following command is optional
\email{author1@math1.unisamp.ut} %%
%% this next argument is also optional
\url{http://www.math1.unisamp.ut/$\sim$author1} \autor[Aut.
2]{Author 2}{Department of Mathematics, University 2 of
Sampleville, 2 Gau\ss Avenue, U-314159 Sampleville, UTOPIA}{Thanks
of Author 2 to someone.} \email{author2@anywhere.pt}
% this author does not have an url address
\autor[Aut. 3]{Author 3}{Address of author 3}{Author 3 wishes to
thanks himself.} %%
\email{author3@here.pt} %%
\url{http://www.here.pt/$\sim$author3}

%%
%% the instructions \autor, \email, \url should follow
%% for each author

%%
%%  the following instructions are optional; in case you do not need them, it suffices
%%  to insert a commentary symbol %
%%
\keywords{this environment is optional}
\subjclass[2000]{this environment is optional} %the year 2000 is also optional
\dedicatory{Dedicated to ourselves}

%%
%%  o seguinte campo define o que incluir na identifica\c{c}{\~a}o da colec\c{c}{\~a}o
%%  tem um valor por defeito definido no ficheiro cls para
%%  evitar erros de compila\c{c}{\~a}o
%%
%%   formato de utiliza\c{c}{\~a}o:
%%
%%   \infonum{ano(dois d{\'\i}gitos)}{n{\'u}mero na colec\c{c}{\~a}o}
%%   isto implica que o editor tem que ser contactado antes da
%%   compila\c{c}{\~a}o final...
%%
%%
\infonum{05}{01}

%% Date of submission
%%
%% no seguinte campo insira a data de submiss\~{a}o do preprint ao editor
%%
\date{August 1, 2005}

\begin{abstract}
An abstract should be written using the environment defined as in
this example file.

The text describes briefly the use of the \textbf{prepdmuc} class.
\end{abstract}
%%
%%
%%   as in all AMS styles, the abstract has to precede
%%   the instruction that generates the title
%%

%% this actually generates the title
\maketitle

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% THE TEXT OF YOUR PAPER SHOULD NOW FOLLOW
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\section{Introduction}
This file gives a brief description of the class
\textbf{prepdmuc.cls}. This class is based on the standard
\textbf{article} class of the \LaTeX\ distribution. You have
available the standard commands and environments as is the
standard \textbf{article} class, with the changes in the preamble
that will be described.

\section{Preamble}
As in the example file, the code starts with the instruction

\smallskip
\begin{verbatim}
\documentclass[a4paper]{prepdmuc}
\end{verbatim}
\smallskip possibly with the usual optional arguments.

\noindent There should be no \verb'\pagestyle' command as well as
no length commands.

\noindent You should provide a \textit{title\/} and a
\textit{running title\/}. The instruction for this purpose is

\smallskip
\begin{verbatim}
\title[Running title]{Actual title}
\end{verbatim}

\smallskip
\noindent You are expected to give two arguments, even if they
coincide. Notice that the \textit{running title\/} is to be used
in the headers of the odd pages so it should not be long.

\noindent For each author you should identify his/hers
\textit{name\/}, an \textit{abbreviated version of the name\/} for
the headers of even pages and possibly include some
\textit{acknowledgments\/}. Also you should give the
\textit{address\/}. If they exist and you wish to make them
available, you may give the \textit{email\/} and the
\textit{url\/} addresses. For this purpose you should use the
following instructions:

\smallskip
\begin{verbatim}
\autor[abbrev. name]{Full name}{Address of author}{Any thanks.}
\email{@somewhere.pt}
\url{http://www.somewhere.pt/$\sim$author1}
\end{verbatim}

\smallskip
\noindent Note that the \verb'\autor' command expects two
arguments, even if they coincide.

\noindent In case of several authors, you should use, in the order
given, the instructions concerning author 1, then author 2, and so
on.

\medskip
\noindent Include also the date of submission to the editor, with
the command

\smallskip
\begin{verbatim}\date{Month dd, year}
\end{verbatim}

\smallskip
\noindent Besides these instructions, include your command
definitions.

\section{The document}
\subsection{Generating the title}
As expected, the body of the document should start with the
command \verb'\maketitle', which generates the title and the
identification of the authors.

\subsection{The abstract}
There is an environment to handle the layout of the abstract. It
goes, as expected, like this

\smallskip
\begin{verbatim}
\begin{abstract}
Abstract text.
\end{abstract}
\end{verbatim}

\subsection{Text}
You do not need to change anything else in your file. All the
usual \LaTeX\ sectioning commands are available.

\noindent If including graphics or figures please attach the
files.

\subsection{References} Please use the \verb'\thebibliography'
environment with numbered or named references.

\begin{thebibliography}{99}
\bibitem{BB} B. Banaschewski, {\em The real numbers in pointfree
topology}, Textos de Matem\'{a}tica, S\'{e}rie B, Vol. 12,
Universidade de Coimbra, 1997.
\bibitem {Four} M.P. Fourman and J.M.E. Hyland, {\em Sheaf
models for analysis}, Applications of Sheaves,
Springer LNM 753 (1979) 280-301.
\bibitem{GK} R. Giles and H. Kummer, {\em A non-commutative
generalization of topology}, Indiana Univ. Math. J. 21 (1971)
91-102.
\bibitem{PJ82} P.T. Johnstone, {\em Stone Spaces}, Cambridge
Studies in Advanced Mathematics, Vol. 3, Cambridge University
Press, Cambridge, 1982.
\bibitem{PJ83} P.T. Johnstone, {\em The point of pointless topology},
Bull. Amer. Math. Soc. 8 (1983) 41-53.
\bibitem{JT} A. Joyal and M. Tierney, {\em An extension of the
Galois Theory of Grothendieck}, Mem. Amer. Math. Soc. 309, 1984.
\bibitem{SV} S. Vickers, {\em Topology via Logic}, Cambridge
Tracts in Theoretical Computer Science, Vol. 5, Cambridge
University Press, Cambridge, 1985.
\end{thebibliography}

\end{document}
