\begin{thebibliography}{1}

\bibitem{bib:soba}
{}.
\newblock {SOBA Project}, March 2004.

\bibitem{bib:ellis}
{C. A. Ellis and S. J. Gibbs }.
\newblock {Concurrency control in groupware systems}.
\newblock 1989.

\bibitem{havelund98model}
K.~Havelund and T.~Pressburger.
\newblock Model checking java programs using java pathfinder, 1998.

\bibitem{bib:groupkit}
Mark Roseman and Saul Greenberg.
\newblock {\em Building Real Time Groupware with GroupKit, A Groupware
  Toolkit}.
\newblock 1996.

\bibitem{rep-sourceforge}
{Shinji KONO}.
\newblock {rep}, Aug 2006.

\bibitem{kono04g}
{安村 恭一 and 河野 真治(琉球大)}.
\newblock {巡回トークンを用いた複数人テキスト編集とセッション管理}.
\newblock  情報処理学会システムソフトウェアとオペレーティング・システム研究会,
  June 2004.

\bibitem{bib:xp}
長瀬嘉秀.
\newblock {\em eXtreme Programming}.
\newblock 日本XPユーザグループ関西支部, 2002.

\end{thebibliography}