Algebraic Approaches to Program Semantics (1986)

by A Arbib
Venue:Texts andMonographs in Computer Science