\begin{thebibliography}{1}

\bibitem{robles:ldmt}
T.~Robles, M.~Veiga, and J.~A. Ma{\~n}as.
\newblock {The $\Lambda\delta$-machine in TOPO}.
\newblock Technical report, Dpt. Telematics Engineering Technical Univ. Madrid,
  Spain, Jan. 1991.

\end{thebibliography}
