Relational and algebraic methods in computer science 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 - May 1, 2014 ; proceedings (Springer, 2014)