Algebraic Appoaches to Program Semantics (1986)

by E G Manes, M A Arbib
Venue:Springer, AKM Theor. Comp. Sci