--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ieice.bbl	Thu Mar 06 19:49:25 2008 +0900
@@ -0,0 +1,63 @@
+\begin{thebibliography}{10}
+
+\bibitem{synBTTL}
+E.M. Clarke and E.A. Emerson.
+\newblock ``synthesis of synchronizatoin skeletons from branching time temporal
+  logic''.
+\newblock In {\em Proc. of the Workshop on Logics of Programs, LNCS-131,
+  Springer-Verlag}, 1982.
+
+\bibitem{Cell}
+Sony Corporation.
+\newblock Cell broadband engine architecture, 2005.
+
+\bibitem{java-conncurrecy}
+Brian Goetz, Tim Peierls, Joshua Bloch, Joseph Bowbeer, David Holmes, and Doug
+  Lea.
+\newblock {\em Java Concurrency in Practice}.
+\newblock Addison-Wesley Professional, 2006.
+
+\bibitem{groce04understanding}
+A.~Groce, D.~Kroening, and F.~Lerda.
+\newblock Understanding counterexamples with explain, 2004.
+
+\bibitem{havelund98model}
+K.~Havelund and T.~Pressburger.
+\newblock Model checking java programs using java pathfinder, 1998.
+
+\bibitem{holzmann97model}
+Gerard~J. Holzmann.
+\newblock The model checker {SPIN}.
+\newblock {\em Software Engineering}, Vol.~23, No.~5, pp. 279--295, 1997.
+
+\bibitem{spurs}
+Keisuke Inoue.
+\newblock Spu centric execution model, 2006.
+
+\bibitem{kono93b}
+Shinji Kono.
+\newblock {A Combination of Clasual and Non Clausal Temporal Logic Program}.
+\newblock {\em {IJCAI-93 Workshop on Executable Modal and Temporal Logics}},
+  Aug, 1993.
+
+\bibitem{wolper82}
+P.~Wolper.
+\newblock Synthesis of communicating processes from temporal logic
+  specifications.
+\newblock Technical Report STAN-CS-82-925, Stanford University, 1982.
+
+\bibitem{cbc-sourceforge}
+{河野　真治 }.
+\newblock {CbC}, March 2008.
+
+\bibitem{kono01g}
+{河野真治(琉球大/科学技術振興事業団), 揚 挺(琉球大)}.
+\newblock {C言語のContinuation based C への変換}.
+\newblock In {\em SwoPP 2001}, July 2001.
+
+\bibitem{kono08b}
+{神里 晃, 河野　真治 }.
+\newblock {CからCell Architectureを利用したCbCへの変換}.
+\newblock  VLD研究会, March 2008.
+
+\end{thebibliography}