Jos� Luis Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten
Algebra and Coalgebra in Computer Science
- 2005
978-3-540-31876-7
Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Symbolic and Algebraic Manipulation Theory of Computation Computer Science