Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings - Höfner, Peter; Jipsen, Peter; Kahl, Wolfram; Müller, Martin Eric (Springer International Publishing : Imprint: Springer, 2014)