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