Arbib and Ernest Manes. Algebraic approaches to program semantics (1986)

by A Michael
Venue:AKM Series in Theoretical Computer Science