Algebraic approaches to program semantics. - Springer Verlag, 1986. - ( Texts and Monographs in Computer Science ).