Work

A Structured Design Methodology for Concurrent Programming