Matthew B. Dwyer Matthew J. Craig Eric Runquist An Application-Independent Concurrency Skeleton in Ada 95. 179-192 1996 TRI-Ada http://doi.acm.org/10.1145/240678.240715 db/conf/sigada/triada96.html#DwyerCR96