J. C. M. Baeten;J. F. Groote
-;-
Wanted: a compositional approach to concurrency
Programming methodology