2 books • 1 series
Algebraic Approaches to Program Semantics
A Basis for Theoretical Computer Science (Monographs in Computer Science)