Sheaf semantics for concurrent interacting objects (1992)

by J A Goguen
Venue:Mathematical Structures in Computer Science 2(2