Some fundamental algebraic tools of the semantics of computation (I (1984)

by J A Goguen, R M Burstall
Venue:Theoretical Computer Science