Algebraic approaches to program semantics. Texts and monographs in computer science (1986)

by E G Manes, M A Arbib