\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}
\begin{thebibliography}{1}

\bibitem{misra:unity94}
K.~Many Chandy and Jayadev Misra, \emph{Parallel program design: A foundation},
  Addison-Wesley, 1988.

\bibitem{gurevich:lipari}
Yuri Gurevich, \emph{Evolving algebras 1993: Lipari guide}, Specification and
  Validation Methods (E.~B\"orger, ed.), Oxford University Press, 1993.

\bibitem{lamport:tla}
Leslie Lamport, \emph{The temporal logic of actions}, ACM Transactions on
  Programming Languages and Systems \textbf{16} (1994), no.~3, 872--923.

\bibitem{misra:unity88}
Jayadev Misra, \emph{A foundation of parallel progragramming}, pp.~397--433.

\end{thebibliography}
