Velinov, Y.P. (1985) Nets, polycategories and semantics of parallel programs. MTA SZTAKI KÖZLEMÉNYEK, 33. pp. 95-112. ISSN 0133-7459