Algebraic Approaches to Program Semantics (1986)

by Ernest G Manes, Michael A Arbib