Compositionality, concurrency and partial correctness proof theories for networks of processes, and their relationship - Zwiers, Jakob (Springer, 1989)