Presheaves as Configured Specifications (1999)

by Steven Vickers, Gillian Hill