\documentclass[a4paper,11pt]{article}
\usepackage[portuges]{babel}
\usepackage{hyperlatex}

\input{../xmlattributes.tex}

\dateportuges

\htmltitle{Programa{\c c}{\~a}o Alg{\'e}brica - OBJ3}
\htmladdress{Pedro Quaresma de Almeida - pedro - mat uc pt}

\title{Programa{\c c}{\~a}o Alg{\'e}brica - OBJ3}
%\author{Pedro Quaresma de Almeida}
\date{\today}


\begin{document}

\begin{center} 
  \maketitle  
\end{center}

\htmlrule

\begin{description}
\item[Refer{\^e}ncias] 
  \begin{itemize}
  \item \xlink{The OBJ
      Family}{http://www.cse.ucsd.edu/users/goguen/sys/obj.html},
    p{\'a}gina acerca das v{\'a}rias variantes do OBJ.
    \begin{itemize}
    \item P{\'a}gina inicial do
      \xlink{CafeObj}{http://www.ldl.jaist.ac.jp/cafeobj/}, at
      JAIST.
    \item P{\'a}gina Inicial do \xlink{Maude}{http://maude.csl.sri.com/}
    \end{itemize}
  \end{itemize}
\item[Texto introdut{\'o}rio]
  \xlink{Info-OBJ3}{info-obj3.txt}, c{\'o}pia local.
\end{description}
\end{document}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 

\item[OBJ3 v2.0]
  \xlink{obj3-gcl.tar.gz}{obj3/obj3-gcl.tar.gz}, Vers{\~a}o 2.0 com
  execut{\'a}vel para Linux e para Sun3.
\item[OBJ3 v2.3]
  \xlink{OBJ3-R203.tar.gz}{obj3/OBJ3-R203.tar.gz}, Vers{\~a}o 2.03 com
  execut{\'a}vel para SunSparc e para Sun3.
