Till Mossakowski

• Algebra and Coalgebra in Computer Science
• Recent Trends in Algebraic Development Techniques Lecture Notes in Computer Science
• Recent Trends in Algebraic Development Techniques