Presheaves as configured specifications (0)

by Steven Vickers, Gillian Hill
Venue:Formal Aspects of Computing