Algebraic Approaches to Program Semantics (1986)

by E G Manes, M A Arbib