Book

Algebraic Foundations in Computer Science

by Werner Kuich