Specification, Algebra, and Software - Shusaku Iida, JosÃ© Meseguer, Kazuhiro Ogata; Meseguer, José; Ogata, Kazuhiro (Springer Berlin Heidelberg, 2014)