TY - BOOK AU - 二木, 厚吉 AU - 飯田, 周作 AU - Meseguer, José AU - 緒方, 和博 TI - Specification, Algebra, and Software : essays dedicated to Kokichi Futatsugi PB - Springer PY - 2014 T2 - Lecture notes in computer science VL - 8373 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues . Festschrift EP - xxi, 656 p. UR - http://ci.nii.ac.jp/ncid/BB17926780 SN - 9783642546235 ER -