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