An application-independent concurrency skeleton in Ada 95
Foundations for the study of software architecture