Linear Logic and Petri Nets: Categories, Algebra and Proof (1990)

by C Brown