Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007: Proceedings - CALCO 2007 (2007 : Bergen, Norway); Mossakowski, Till.; Haveraaen, Magne; Montanari, Ugo.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Keywords: Computer science -- Mathematics -- Congresses; Algebra -- Congresses