Algebraic Approaches to Program Semantics. Texts and Monogr (1986)

by M A Arbib, E G Manes
Venue:in Comp. Sci