Steven Vickers Gillian Hill Presheaves as Configured Specifications. 32-49 2001 13 Formal Asp. Comput. 1 http://link.springer.de/link/service/journals/00165/bibs/1013001/10130032.htm db/journals/fac/fac13.html#VickersH01