Relational and Algebraic Methods in Computer Science - Peter HÃ¶fner, Peter Jipsen, Wolfram Kahl, Martin Eric MÃ¼ller (Springer International Publishing, 2014)