"An Application-Independent Concurrency Skeleton in Ada 95."

Matthew B. Dwyer, Matthew J. Craig, Eric Runquist (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics