On the completeness and expressiveness of spider diagram systems (2000)

by J Howse, O Molina, J Taylor
Venue:In Proc. Diagrams 2000, Edinburgh, Sept 2000. LNAI 1889