@inproceedings{weko_9881_1,
   author	 = "Nakamura,Masaki and El-Nashar,Alaa Ismail and Futatsugi,Kokichi",
   title	 = "An algebraic specification of message passing programming languages",
   booktitle	 = "Proceedings of the 8th Forum on Information Technology (FIT 2009), = 第 8 回情報科学技術フォーラム（FIT2009）講演論文集 分野 B：ソフトウェア",
   year 	 = "2009",
   volume	 = "1",
   number	 = "",
   pages	 = "85--92",
   publisher	 = "Proceedings of the 8th Forum on Information Technology (FIT 2009) = 第 8 回情報科学技術フォーラム（FIT2009）",
   month	 = "jan"
}