著者名	書名	版表示	出版者名	出版年	シリーズ名	番号	ISBN	ISSN	URL
二木, 厚吉  and 飯田, 周作  and Meseguer, José and 緒方, 和博	Specification, Algebra, and Software : essays dedicated to Kokichi Futatsugi		Springer	2014	Lecture notes in computer science	8373 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues . Festschrift	9783642546235		http://ci.nii.ac.jp/ncid/BB17926780