%0 Book
%A / Ernest G. Manes, Michael A. Arbib
%T Algebraic approaches to program semantics
%U /book/100997375/Algebraic-approaches-to-program-semantics/