Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi - Iida, Shusaku; Meseguer, José; Ogata, Kazuhiro (Springer Berlin Heidelberg : Imprint: Springer, 2014)