Algebra and coalgebra in computer science : second international conference, CALCO 2007 : Bergen, Norway, August 20-24, 2007 : proceedings. : CALCO-tools workshop : Aug 2007, Bergen, Norway. (Lecture Notes in Computer Science ; 4624)
Algebra and coalgebra in computer science : second international conference, CALCO 2007 : Bergen, Norway, August 20-24, 2007 : proceedings. : CALCO-tools workshop : Aug 2007, Bergen, Norway.