4 books • 2 series
Algebra and Coalgebra in Computer Science (Lecture Notes in Computer Science, #3629) (Theoretical Computer Science and General Issues, #3629)
Recent Trends in Algebraic Development Techniques (Lecture Notes in Computer Science, #4409) (Theoretical Computer Science and General Issues, #3423)