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